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

DOI10.1007/978-3-642-04893-7_26MaRDI QIDQ3655239zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(13)

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

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)