Local properties in modal logic.
Hans van DitmarschWiebe van der HoekBarteld P. KooiPublished in: Artif. Intell. (2012)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- classical logic
- situation calculus
- conditional logic
- nonmonotonic logics
- default logic
- prime implicates
- dynamic logic
- model checking
- autoepistemic logic
- logic programming
- artificial intelligence
- sequent calculus
- kripke models
- desirable properties
- probability distribution