Keyphrases
- modal logic
- default rules
- default logic
- nonmonotonic logics
- temporal logic
- decision procedures
- inference rules
- autoepistemic logic
- classical logic
- epistemic logic
- default theories
- conditional logic
- situation calculus
- nonmonotonic reasoning
- default reasoning
- commonsense reasoning
- cooperative
- theorem proving
- deductive databases
- modal operators