The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics.
Jens OttenPublished in: TABLEAUX (2021)
Keyphrases
- modal logic
- theorem prover
- classical logic
- inference rules
- decision procedures
- theorem proving
- temporal logic
- nonmonotonic logics
- epistemic logic
- linear logic
- default logic
- situation calculus
- fuzzy set theory
- logical framework
- automated reasoning
- proof search
- natural deduction
- dynamic logic
- data exchange
- model checking