A Logic for Strategy Updates

  • Can Başkent
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)


While people play games, they observe, learn, recollect and update their strategies during the game as well as adopting deontological strategies and goals before the game. In this paper, we focus on what we call move updates where some moves become unavailable during the game, and present a formal framework for extending strategy logic which was introduced by Ramanujam and Simon [2].


  1. 1.
    Ghosh, S., Ramanujam, R., Simon, S.: On strategy composition and game composition (2010) (unpublished manuscript)Google Scholar
  2. 2.
    Ramanujam, R., Simon, S.: A logical structure for strategies. In: Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, vol. 3, pp. 183–208. Amsterdam University Press, Amsterdam (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Can Başkent
    • 1
  1. 1.Department of Computer Science, Graduate CenterCity University of New YorkUSA

Personalised recommendations