From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
Simone MartiniAndrea MasiniMargherita ZorziPublished in: ACM Trans. Comput. Log. (2021)
Keyphrases
- sequent calculus
- modal logic
- cut elimination
- natural deduction
- inference rules
- temporal logic
- decision procedures
- linear time temporal logic
- linear logic
- epistemic logic
- classical logic
- theorem proving
- theorem prover
- situation calculus
- first order logic
- default logic
- high level
- graphical models
- knowledge representation
- training data