Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

DOI10.1007/978-3-662-48561-3_1zbMath1471.03040WikidataQ62045409 ScholiaQ62045409MaRDI QIDQ3457681

Guillaume Aucher, Davide Grossi, J. F. A. K. van Benthem

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01194426

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

A general framework for dynamic epistemic logic: towards canonical correspondences, An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning, An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning, A simple logic of the hide and seek game, Relation-changing models meet paraconsistency, Computation as social agency: what, how and who

Cites Work

• Unnamed Item
• Connectivity games over dynamic networks
• Dynamic epistemic logic
• Model theory
• A Game Theoretic Approach to the Analysis of Dynamic Networks
• Moving Arrows and Four Model Checking Results
• Logical Dynamics of Information and Interaction
• ARROW UPDATE LOGIC
• Dynamic logic of preference upgrade
• Learning and Teaching as a Game: A Sabotage Approach
• Global and Local Graph Modifiers
• Swap logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Mathematical Foundations of Computer Science 2003
• Mechanizing Mathematical Reasoning