Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.
Tim S. LyonPublished in: TABLEAUX (2021)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- linear logic
- inference rules
- classical logic
- decision procedures
- temporal logic
- logical framework
- nonmonotonic logics
- epistemic logic
- situation calculus
- default logic
- theorem proving
- natural deduction
- fixed point
- theorem prover
- reinforcement learning
- formal semantics
- modal operators
- desirable properties
- logic programming