Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- dynamic logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- autoepistemic logic
- default logic
- model theoretic
- logic programming
- formal semantics
- classical logic
- model checking
- situation calculus
- default theories
- nonmonotonic reasoning
- reinforcement learning
- action theories
- propositional logic
- fixed point
- description logics
- programming language
- multi agent systems