Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.
Tim S. LyonPublished in: CoRR (2021)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- linear logic
- inference rules
- classical logic
- temporal logic
- decision procedures
- epistemic logic
- logical framework
- model checking
- natural deduction
- nonmonotonic logics
- autoepistemic logic
- theorem prover
- modal operators
- situation calculus
- desirable properties
- fixed point
- high level
- kripke models