 In this way, general results of modal logic apply to games. For instance, take pointed models such as game trees with an indicator for the current moment. Whenever two such pointed models \(\G,m\) and \(\G',m'\) are bisimilar in the first sense defined above, the equivalence \(\G, m\vDash\varphi\) iff \(\G', m'\vDash\varphi\) holds for all formulas \(\varphi\) in a sufficiently rich modal language with modalities \([a]\) for each move label. Thus, one can switch between syntactic, language based perspectives and semantic invariance relations, depending on what is convenient for a given perspective on games. Entirely similar points hold for bisimulations and modal languages for power perspectives, or for strategic form games.