Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
From MaRDI portal
Publication:3457681
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
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