Keyphrases
- modal logic
- conditional logic
- decision procedures
- temporal logic
- inference rules
- inheritance reasoning
- nonmonotonic logics
- epistemic logic
- classical logic
- truth values
- default logic
- situation calculus
- belief revision
- default reasoning
- independence assumption
- conditional independence
- nonmonotonic reasoning
- nonmonotonic inference
- databases
- expressive power
- modal operators
- artificial intelligence