A Simplest Undecidable Modal Logic

Edith Hemaspaandra Henning Schnoor

Published in: CoRR (2011)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
sufficient conditions
epistemic logic
np complete
nonmonotonic logics
prime implicates
default logic
situation calculus
conditional logic
autoepistemic logic
modal operators
datalog programs
domain knowledge
dynamic logic
natural language