HOL Provers for First-order Modal Logics - Experiments.
Christoph BenzmüllerPublished in: ARQNL@IJCAR (2014)
Keyphrases
- modal logic
- theorem prover
- inference rules
- first order logic
- conditional logic
- theorem proving
- higher order logic
- decision procedures
- horn clauses
- temporal logic
- automated reasoning
- natural deduction
- model theoretic
- higher order
- classical logic
- default logic
- situation calculus
- knowledge representation
- probabilistic reasoning
- logical framework
- nonmonotonic logics
- propositional logic
- epistemic logic
- dynamic logic
- sequent calculus
- legal reasoning
- fixpoint
- artificial intelligence
- formal semantics