Refinement logics and rewriting logics take this approach directly, and it can go straight down to mixed-signal circuits or all the way up to distributed epistemic logic.