 Back and forth between game logics and logic games The topic of this section suggests cycles between the two perspectives on logic and games. Given a logical system, one can design logical games for it, which can then again be studied using some appropriate game logic. Conversely, given a game, one can introduce a logic for describing it, and then introduce evaluation games for that logic, and so on. Sometimes these cycles reach fixed-points, where, say, the evaluation game for a formula describing some game is isomorphic to that game itself. But sometimes, the cycling continues. For discussion, see Rebuschi (2006) and van Benthem (2014).