On the Complexity of Elementary Modal Logics

Edith Hemaspaandra Henning Schnoor

Published in: CoRR (2008)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
classical logic
situation calculus
epistemic logic
computational complexity
expert systems
worst case
autoepistemic logic
artificial intelligence
knowledge base
theorem prover
default logic