On the logic of coalitional games

We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past decade (notably Coalition Logic [14] and Alternating-time Temporal Logic [1]), these logics focused primarily on the issue of strategic cooperative ability

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
• Keywords: ATAL 2006, Coalitional Games, Intelligent Agents, Logic, Transferable Payoff