Login / Signup
Taut Monads, Dynamic Logic and Determinism.
Ernie Manes
Published in:
MFPS (2007)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
first order logic
multiple input
classical first order logic
propositional dynamic logic