 Tracking This section contains a wide variety of perspectives on games. These differ in their invariance relations and their matching languages, offering different foci such as outcomes, powers, or the detailed temporal evolution of games. Even further perspectives will no doubt keep emerging. This diversity may seem overwhelming, making the field rather scattered. But here, another role of logic shows, by not just proliferating systems, but also as connecting them. Various logical translations exist between the languages and levels involved. Often, reasoning about games in a logic for some level can be mirrored precisely under translation into the logic of another level. Moreover, these translations can often keep track of changes in games under actions of information updates, a topic to be taken up in Section 3. Tracking of this kind is defined and studied in general logical terms in van Benthem (2016) and Cinà (2017), and in category-theoretic terms in Ye (2022).