On the Complexity of Graded Modal Logics with Converse.

Bartosz Bednarczyk Emanuel Kieronski Piotr Witkowski

Published in: JELIA (2019)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
default logic
classical logic
nonmonotonic logics
computational complexity
situation calculus
conditional logic
reinforcement learning
search algorithm
model checking
dynamic logic