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

Mikhail N. Rybakov Dmitry Shkatov

Published in: CoRR (2019)

Keyphrases

modal logic
default logic
decision procedures
nonmonotonic logics
temporal logic
propositional logic
autoepistemic logic
inference rules
computational complexity
classical logic
dynamic logic
first order logic
query answering
situation calculus
polynomial hierarchy