 Given the various limitations to their knowledge, players may entertain beliefs to structure their uncertainty. Such beliefs may, naturally, change over time, as players communicate or observe the game unfold. The importance of beliefs in the logical analysis of games has been emphasized in Stalnaker (1998), who was the first to highlight the role of belief revision in analyzing reasoning about game solution.