CoNP Complexity for Combinations of Non-normal Modal Logics.

Tiziano Dalmonte Andrea Mazzullo

Published in: TABLEAUX (2023)

Keyphrases

modal logic
decision procedures
temporal logic
decision problems
inference rules
epistemic logic
nonmonotonic logics
worst case
computational complexity
special case
conjunctive queries
situation calculus
dynamic logic
expert systems
probability distribution
optimal policy