Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

DOI10.1007/978-3-662-47197-5_1zbMath1429.03076OpenAlexW2138758913MaRDI QIDQ5213651

Natasha Alechina, Thomas Ågotnes

Publication date: 4 February 2020

Published in: Modality, Semantics and Interpretations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47197-5_1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensive games as process models
• Games, actions and social software. Multidisciplinary aspects
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• Complete axiomatization and decidability of alternating-time temporal logic
• Model checking propositional dynamic logic with all extras
• Reasoning about Joint Action and Coalitional Ability in K n with Intersection
• Games in Dynamic-Epistemic Logic
• Alternating-time temporal logic
• Normal monomodal logics can simulate all others
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection