Implementing and Evaluating Provers for First-order Modal Logics.

Christoph Benzmüller Jens Otten Thomas Raths

Published in: ECAI (2012)

Keyphrases

modal logic
conditional logic
decision procedures
inference rules
theorem proving
temporal logic
first order logic
epistemic logic
higher order
classical logic
model theoretic
theorem prover
nonmonotonic logics
default logic
horn clauses
autoepistemic logic
situation calculus
dynamic logic
sequent calculus
fixpoint