Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

DOI10.1007/978-3-662-48561-3_1zbMath1471.03040OpenAlexW2293012508WikidataQ62045409 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

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Computation as social agency: what, how and who ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ A simple logic of the hide and seek game ⋮ Relation-changing models meet paraconsistency ⋮ 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

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

This page was built for publication: Sabotage Modal Logic: Some Model and Proof Theoretic Aspects