Higher-Order Modal Logics: Automation and Applications.

Christoph Benzmüller Bruno Woltzenlogel Paleo

Published in: Reasoning Web (2015)

Keyphrases

modal logic
higher order
decision procedures
temporal logic
inference rules
high order
pairwise
classical logic
markov random field
nonmonotonic logics
default logic
epistemic logic
conditional logic
situation calculus
autoepistemic logic
lambda calculus
multi agent systems
probability distribution