Logics for Coalitional Games
Thomas Ågotnes, Paul E.S. Dunne, Wiebe van der Hoek, Michael Wooldridge · 2007
We define formalisms to reason about Coalitional Games (CGs), in which one can express what coalitions of agents can achieve. We start with Quantified CGs (QCGs), in which each agent has some goals he wants to satisfy, which may change over time. Then we focus on CGs themselves. Although CGs can be well analysed in a formalism close to Pauly’s Coalition Logic, in QCGs, when having preferences, some differences become apparent.