Keyphrases
- modal logic
- kripke models
- truth values
- inference rules
- default logic
- nonmonotonic logics
- epistemic logic
- modal operators
- conditional logic
- dynamic logic
- autoepistemic logic
- temporal logic
- classical logic
- default theories
- default reasoning
- logical framework
- situation calculus
- action theories
- nonmonotonic reasoning
- proof theory
- database systems
- propositional dynamic logic
- logic programming
- directed graph
- sound and complete axiomatization