Natural Deduction for Full S5 Modal Logic with Weak Normalization.
Ana Teresa C. MartinsLília Ramalho MartinsPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- modal logic
- natural deduction
- inference rules
- sequent calculus
- temporal logic
- cut elimination
- theorem prover
- decision procedures
- theorem proving
- logical framework
- classical logic
- intuitionistic logic
- nonmonotonic logics
- epistemic logic
- default logic
- situation calculus
- conditional logic
- abductive reasoning
- linear time temporal logic
- formal semantics