Implementing Different Proof Calculi for First-order Modal Logics.
Christoph BenzmüllerJens OttenThomas RathsPublished in: PAAR@IJCAR (2012)
Keyphrases
- modal logic
- sequent calculi
- conditional logic
- decision procedures
- inference rules
- temporal logic
- epistemic logic
- default logic
- nonmonotonic logics
- horn clauses
- classical logic
- situation calculus
- model theoretic
- sequent calculus
- autoepistemic logic
- higher order
- dynamic logic
- theorem proving
- first order logic
- nonmonotonic reasoning
- natural language
- theorem prover
- cut elimination
- state space