Adiabatic dynamic logic.

Alex G. Dickinson John S. Denker

Published in: IEEE J. Solid State Circuits (1995)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
multiple input
first order logic
classical first order logic
agent programming
situation calculus