Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?

Bartosz Bednarczyk Stéphane Demri

Published in: LICS (2019)

Keyphrases

modal logic
default logic
temporal logic
decision procedures
autoepistemic logic
inference rules
nonmonotonic logics
epistemic logic
decision trees
propositional logic
model checking
situation calculus
classical logic
conditional logic
tree structure
natural language
artificial intelligence