An Update Operator for Strategic Ability

  • Paolo Turrini
  • Jan Broersen
  • Rosja Mastop
  • John-Jules Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)


Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involving this concept often occur. To fill this gap, we study an update operator for strategic ability update in coalition structures. Its formal connections with the update operators known from Dynamic Epistemic Logic will be discussed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abdou, J., Keiding, H.: Effectivity Functions in Social Choice. Kluwer Academic Publishers, Dordrecht (1991)MATHGoogle Scholar
  2. 2.
    Aumann, R.J., Peleg, B.: Von Neumann-Morgenstern solutions to cooperative games without side payments. Bulletin of the American Mathematical Society 66, 173–179 (1960)CrossRefMathSciNetMATHGoogle Scholar
  3. 3.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science (2001)Google Scholar
  4. 4.
    Borgo, S.: Coalitions in action logic. In: IJCAI, pp. 1822–1827 (2007)Google Scholar
  5. 5.
    Broersen, J., Mastop, R., Meyer, J.-J.C., Turrini, P.: A logic for closed-world interaction. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 89–99. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic. Technical Report UCB/EECS-2007-78, University of California, Berkeley (May 2007)Google Scholar
  7. 7.
    Goranko, V., van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theor. Comput. Sci. 353(1-3), 93–117 (2006)CrossRefMATHGoogle Scholar
  8. 8.
    Osborne, M., Rubinstein, A.: A course in Game Theory. MIT Press, Cambridge (1994)Google Scholar
  9. 9.
    Parikh, R.: The logic of games and its applications. In: Selected papers of the international conference on “foundations of computation theory” on Topics in the theory of computation, New York, NY, USA, pp. 111–139. Elsevier North-Holland, Inc., Amsterdam (1985)Google Scholar
  10. 10.
    Pauly, M.: Logic for Social Software. ILLC Dissertation Series (2001)Google Scholar
  11. 11.
    van Benthem, J.: In praise of strategies. Research Report (2007),
  12. 12.
    van Benthem, J.: Where is logic going, and should it? Topoi 25, 117–122 (2006)CrossRefGoogle Scholar
  13. 13.
    van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 14 (2004)Google Scholar
  14. 14.
    van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 157–164. ACM, New York (2005)CrossRefGoogle Scholar
  15. 15.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Paolo Turrini
    • 1
  • Jan Broersen
    • 1
  • Rosja Mastop
    • 2
  • John-Jules Meyer
    • 1
  1. 1.Department of Information and Computing SciencesUtrecht University 
  2. 2.Department of PhilosophyUtrecht University 

Personalised recommendations