Lower bounds for modal logics.

Published in: J. Symb. Log. (2007)

Keyphrases

modal logic
lower bound
upper bound
decision procedures
temporal logic
branch and bound

inference rules
epistemic logic
branch and bound algorithm
nonmonotonic logics
classical logic

objective function
np hard
lower and upper bounds
autoepistemic logic
optimal solution

situation calculus
default logic
vc dimension
cooperative
theorem proving