The QMLTP Problem Library for First-Order Modal Logics.

Thomas Raths Jens Otten

Published in: IJCAR (2012)

Keyphrases

modal logic
conditional logic
temporal logic
decision procedures
inference rules
epistemic logic
first order logic
nonmonotonic logics
classical logic
higher order
default logic
model theoretic
situation calculus
horn clauses
artificial intelligence
dynamic logic
initial state
state space