Complexity of modal logics with Presburger constraints.

Stéphane Demri Denis Lugiez

Published in: J. Appl. Log. (2010)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
temporal logic
epistemic logic
computational complexity
constraint satisfaction
worst case
reinforcement learning
expert systems
incomplete information
classical logic
special case
theorem proving