A Systematic Proof Theory for Several Modal Logics.
Charles StewartPhiniki StouppaPublished in: Advances in Modal Logic (2004)
Keyphrases
- proof theory
- modal logic
- decision procedures
- reasoning problems
- default reasoning
- automated reasoning
- default logic
- inference rules
- temporal logic
- nonmonotonic logics
- nonmonotonic reasoning
- theorem proving
- epistemic logic
- situation calculus
- classical logic
- probabilistic reasoning
- default theories
- partial order
- knowledge representation
- multi agent systems
- model theoretic
- first order logic
- query language