Complexity of finite-variable fragments of products with non-transitive modal logics.

Mikhail N. Rybakov Dmitry Shkatov

Published in: J. Log. Comput. (2022)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
epistemic logic
computational complexity
default logic
nonmonotonic logics
worst case
transitive closure
search algorithm
artificial intelligence
data integration
expressive power
expert systems
default reasoning
autoepistemic logic