Keyphrases
- modal logic
- proof theory
- default reasoning
- decision procedures
- reasoning problems
- default logic
- temporal logic
- inference rules
- proof theoretic
- automated reasoning
- classical logic
- causal theories
- situation calculus
- model checking
- theorem proving
- model theoretic
- belief revision
- artificial intelligence
- logical framework
- nonmonotonic reasoning