Coalition games over Kripke semantics : expressiveness and complexity

We show that Pauly’s Coalition Logic can be embedded into a richer normal modal logic that we call Normal Simulation of Coalition Logic (NCL). We establish that the latter is strictly more expressive than the former by proving that it is NEXPTIME complete in the case of at least two agents.

[1]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..

[2]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

[3]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[4]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[5]  C. Castelfranchi.  The Micro-Macro Constitution of Power , 2003 .

[6]  Marc Pauly,et al.  Logic for social software , 2000 .

[7]  Nicolas Troquard,et al.  Independent agents in branching time : towards a unified framework for reasoning about multiagent systems , 2007 .

[8]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[9]  Michael Wooldridge,et al.  On the dynamics of delegation, cooperation, and control: a logical account , 2005, AAMAS '05.

[10]  Andreas Herzig,et al.  From Coalition Logic to STIT , 2006, LCMAS.

[11]  Heinrich Wansing,et al.  Tableaux for multi-agent deliberative-stit logic , 2006, Advances in Modal Logic.

[12]  Andreas Herzig,et al.  Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..

[13]  Andreas Herzig,et al.  Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.

[14]  Andreas Herzig,et al.  A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.

[15]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .