A Logic for Strategy Updates

Details A Logic for Strategy Updates A Logic for Strategy Updates

2011-07-25

arxiv.org/abs/1107.4931v1

Computer Science

Computer Science and Game Theory

Scientific paper

Notion of strategy in game theory is static and presumably constructed before the game play. The static, pre-determined notion of strategies falls short analyzing perfect information games. Because, we, people, do not strategize as such even in perfect information games - largely because we are not logically omniscient, and we have limited computational power and bounded memory. In this paper, we focus on what we call move updates where some moves become unavailable during the game. Our goal here is to present a formal framework for move based strategy restrictions extending strategy logic which was introduced by Ramanujam and Simon. In this paper, we present a dynamic version of strategy logic, prove its completeness and decidability along with the decidability of the strategy logic which was an open problem so far. We also present an analysis of centipede by using our logic.

Affiliated with

Also associated with

No associations

Rating

A Logic for Strategy Updates does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Logic for Strategy Updates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logic for Strategy Updates will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-572577