Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic.
Daniel LeivantPublished in: LICS (2006)
Keyphrases
- dynamic logic
- proof theoretic
- modal operators
- modal logic
- imperative programs
- reasoning about actions
- fixpoint
- linear logic
- agent programming
- default reasoning
- proof theory
- nonmonotonic logics
- constraint logic programming
- propositional dynamic logic
- temporal logic
- first order logic
- default logic
- nonmonotonic reasoning
- situation calculus
- model theoretic
- partially ordered
- inference rules
- fixed point
- decision procedures
- multi agent
- propositional logic
- desirable properties
- graphical models
- description logics