A logical characterisation of qualitative coalitional games

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

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

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 gamesmodal logiccoalitional gamescoalition logic

Mathematics Subject Classification ID

Cooperative games (91A12) Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (1)

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

This page was built for publication: A logical characterisation of qualitative coalitional games