Combinatorial Proofs for Constructive Modal Logic.
Matteo AcclavioLutz StraßburgerRenate A. SchmidtUli SattlerRuba AlassafPublished in: AiML (2022)
Keyphrases
- modal logic
- decision procedures
- sequent calculus
- inference rules
- temporal logic
- cut elimination
- classical logic
- epistemic logic
- theorem prover
- theorem proving
- nonmonotonic logics
- natural deduction
- conditional logic
- dynamic logic
- situation calculus
- autoepistemic logic
- model checking
- explanation based generalization
- belief change
- higher order