Hybrid sabotage modal logic
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin
Abstract
Abstract We introduce a new hybrid modal logic HSML for reasoning about sabotage-style graph games with edge deletions and provide a complete Hilbert-style axiomatization. We extend the completeness analysis to protocol models with restrictions on available edge deletions and clarify the connections between HSML-style logics of edge deletions and recent modal logics for stepwise point deletion from graphs.
Topics & Concepts
Modal logicAccessibility relationNormal modal logicModalModal μ-calculusCompleteness (order theory)Computer scienceMultimodal logicModal operatorDiscrete mathematicsMathematicsAlgorithmTheoretical computer scienceCalculus (dental)Description logicMedicineChemistryMathematical analysisDentistryPolymer chemistryLogic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationLogic, programming, and type systems