The context of the talk is an interest and a need to reason about issues related to cooperation in multi-agent systems, where, given the notion of a coalition (that is, a group of agents), questions arise regarding the coalitional power (what can the coalition achieve?), coalition formation (which coalitions will form?) and the result of cooperation (how will the coalition act?). Coalition Logics provide a tool to analyse some of those questions. They took off with two important developments, namely with Pauly’s formulation of Coalition Logic CL [2], and the work on Alternating-time Temporal Logic (ATL) by Alur, Henzinger and Kupferman [1].


  1. 1.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: IEEE Symposium on Foundations of Computer Science, pp. 100–109 (1997)Google Scholar
  2. 2.
    Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    van der Hoek, W., Troquard, N., Wooldridge, M.: Knowledge and control. In: Tumer, K., Yolum, P., Sonenberg, L., Stone, P. (eds.) Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 719–726 (2011)Google Scholar
  4. 4.
    van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. JAIR 37, 437–477 (2010)zbMATHGoogle Scholar
  5. 5.
    van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 64, 81–119 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Wiebe van der Hoek
    • 1
  1. 1.University of LiverpoolUnited Kingdom

Personalised recommendations