A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.
Francesca PoggiolesiPublished in: Rev. Symb. Log. (2009)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- inference rules
- decision procedures
- temporal logic
- epistemic logic
- classical logic
- nonmonotonic logics
- linear time temporal logic
- default logic
- conditional logic
- situation calculus
- prime implicates
- natural language
- autoepistemic logic
- dynamic logic
- proof search
- explanation based generalization
- model checking
- artificial intelligence