Getting together: a unified perspective on modal logics for coalitional interaction

DOI10.1007/978-3-642-04893-7_26zbMATH Open1196.03033OpenAlexW1604094559MaRDI QIDQ3655239FDOQ3655239

Authors: Cédric Dégremont, Lena Kurzen 

Publication date: 7 January 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04893-7_26

Recommendations

• A Modal Logic for Coalitional Power in Games
• On the logic of cooperation and propositional control
• Higher-order coalition logic
• Reasoning about cooperation, actions and preferences
• Reasoning about coalitional games

Mathematics Subject Classification ID

Cooperative games (91A12) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (13)

• A resolution prover for coalition logic
• The logic of joint ability in two-player tacit games
• Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
• On the logic of cooperation and propositional control
• A resolution-based calculus for coalition logic
• Embedding coalition logic in the minimal normal multimodal logic with intersection
• Modal extensions of Łukasiewicz logic for modelling coalitional power
• Higher-order coalition logic
• Coalition description logic with individuals
• A logic for conditional local strategic reasoning
• Reasoning about cooperation, actions and preferences
• Modal Logics for Preferences and Cooperation: Expressivity and Complexity
• A first-order coalition logic for BDI-agents

This page was built for publication: Getting together: a unified perspective on modal logics for coalitional interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655239)