MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description).
Marianna GirlandoLutz StraßburgerPublished in: IJCAR (2) (2020)
Keyphrases
- theorem prover
- modal logic
- inference rules
- natural deduction
- theorem proving
- automated reasoning
- decision procedures
- temporal logic
- automated theorem proving
- sequent calculus
- term rewriting
- formal proof
- first order logic
- classical logic
- nonmonotonic logics
- logical framework
- situation calculus
- epistemic logic
- cut elimination
- formal semantics
- conditional logic
- default logic
- model checking
- sequent calculi
- reasoning tasks
- multi agent
- graphical models
- natural language