Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.
Yury SavateevDaniyar S. ShamkanovPublished in: Rev. Symb. Log. (2021)
Keyphrases
- modal logic
- decision procedures
- sequent calculus
- inference rules
- temporal logic
- cut elimination
- epistemic logic
- theorem proving
- natural deduction
- classical logic
- default logic
- theorem prover
- situation calculus
- nonmonotonic logics
- explanation based generalization
- artificial intelligence
- dynamic logic
- modal operators
- object oriented