Journal of Logic, Language and Information

, Volume 19, Issue 4, pp 395–412

Information Tracking in Games on Graphs


DOI: 10.1007/s10849-009-9115-8

Cite this article as:
Berwanger, D. & Kaiser, Ł. J of Log Lang and Inf (2010) 19: 395. doi:10.1007/s10849-009-9115-8


When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acquired in a play of infinite duration may, however, lead to infinite hierarchies of higher-order knowledge. We present a construction that makes explicit which higher-order knowledge is relevant in a game and allows us to describe a class of games that admit coordinated winning strategies with finite memory.


Infinite gamesImperfect informationDistributed strategiesMultiplayer games

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.LSV, CNRS & ENS CachanParisFrance
  2. 2.RWTHAachenGermany