Calibrating Provability Logic: From Modal Logic to Reflection Calculus.
Lev D. BeklemishevPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- inference rules
- temporal logic
- classical logic
- decision procedures
- epistemic logic
- conditional logic
- nonmonotonic logics
- natural deduction
- default logic
- situation calculus
- modal operators
- dynamic logic
- proof search
- autoepistemic logic
- prime implicates
- explanation based generalization
- defeasible logic
- computer algebra
- sequent calculi
- kripke models