FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

Christoph Benzmueller Thomas Raths

Published in: CoRR (2012)

Keyphrases

modal logic
conditional logic
temporal logic
inference rules
decision procedures
first order logic
epistemic logic
nonmonotonic logics
default logic
higher order
dynamic logic
classical logic
situation calculus
model theoretic
horn clauses
theorem proving
model checking
autoepistemic logic
cooperative
multi agent