Complexity of finite-variable fragments of propositional modal logics of symmetric frames.

Mikhail N. Rybakov Dmitry Shkatov

Published in: Log. J. IGPL (2019)

Keyphrases

modal logic
default logic
temporal logic
decision procedures
nonmonotonic logics
inference rules
autoepistemic logic
epistemic logic
propositional logic
polynomial hierarchy
decision problems
computational complexity
conditional logic
model checking
classical logic
causal graph
moving objects