From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
Simone MartiniAndrea MasiniMargherita ZorziPublished in: CoRR (2020)
Keyphrases
- sequent calculus
- modal logic
- cut elimination
- natural deduction
- inference rules
- temporal logic
- decision procedures
- classical logic
- epistemic logic
- default logic
- linear logic
- linear time temporal logic
- theorem prover
- nonmonotonic logics
- theorem proving
- situation calculus
- probabilistic model
- logical framework
- artificial intelligence
- knowledge base