Modal logics of sabotage revisited.

Guillaume Aucher Johan van Benthem Davide Grossi

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
default logic
situation calculus
conditional logic
kripke models
database
sequent calculus
modal operators
dynamic logic
cooperative
knowledge base