A logical characterisation of qualitative coalitional games

DOI10.3166/jancl.17.477-509zbMath1187.68622MaRDI QIDQ3647281

Michael Wooldridge, Paul E. Dunne, Wiebe van der Hoek

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.477-509

zbMATH Keywords

cooperative games; modal logic; coalitional games; coalition logic

Mathematics Subject Classification ID

91A12: Cooperative games

91A80: Applications of game theory

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

68T42: Agent technology and artificial intelligence

Related Items

Quantified coalition logic

Uses Software

• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the computational complexity of qualitative coalitional games
• A guide to completeness and complexity for modal logics of knowledge and belief
• Negotiation and cooperation in multi-agent environments
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Extensive games as process models
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• Games in Dynamic-Epistemic Logic
• Alternating-time temporal logic
• Decision procedures for BDI logics
• A Modal Logic for Coalitional Power in Games
• Towards a Logic of Rational Agency