A Cut-Free Simple Sequent Calculus for Modal Logic S5.
Francesca PoggiolesiPublished in: Rev. Symb. Log. (2008)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- inference rules
- temporal logic
- decision procedures
- classical logic
- epistemic logic
- situation calculus
- nonmonotonic logics
- default logic
- conditional logic
- dynamic logic
- model checking
- expert systems
- autoepistemic logic
- natural deduction
- graphical models
- explanation based generalization
- higher order