On the Complexity of Elementary Modal Logics.

Edith Hemaspaandra Henning Schnoor

Published in: STACS (2008)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
nonmonotonic logics
epistemic logic
worst case
classical logic
autoepistemic logic
computational complexity
autonomous agents
automated reasoning
conditional logic