Hybrid sabotage modal logic.

Johan van Benthem Lei Li Chenwei Shi Haoxuan Yin

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
situation calculus
epistemic logic
classical logic
nonmonotonic logics
default logic
conditional logic
prime implicates
dynamic logic
dynamic programming
model checking
modal operators
explanation based generalization