A Logic for Strategy Updates
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 .
- 1.Ghosh, S., Ramanujam, R., Simon, S.: On strategy composition and game composition (2010) (unpublished manuscript)Google Scholar
- 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