With sabotage games on graphs that change during play as a running example, we discuss logics designed for describing such reactive systems, on which there is a growing literature – the collection [12] has the relevant formal details. We consider three zoom levels for these dynamic scenarios: graphs as game boards, extensive game trees, and infinite dynamical systems. We compare these and discuss some of the open problems concerning logic design that arise in this setting.