Reasoning about local properties in modal logic.
Hans van DitmarschWiebe van der HoekBarteld P. KooiPublished in: AAMAS (2011)
Keyphrases
- modal logic
- inference rules
- temporal logic
- decision procedures
- modal operators
- epistemic logic
- situation calculus
- default logic
- classical logic
- conditional logic
- dynamic logic
- domain knowledge
- kripke models
- autoepistemic logic
- desirable properties
- object oriented
- nonmonotonic logics
- logical framework
- dynamic programming
- explanation based generalization
- artificial intelligence