 Besides extensive form games, standard modal logic is also suitable for the power perspective on game structure. Sometimes, one ignores the internal mechanisms of a game altogether, merely viewing it as a black box social mechanisms where players control outcomes to a certain extent. In this perspective, a player can force the outcome of the game to be in some set X if she commands a strategy that ensures the game to end up in an outcome of X, no matter what the other players do (van der Hoek &amp; Pauly 2007). Similarly, a player can force that some proposition \(\varphi\) holds if she has the power to enforce that the game ends in a \(\varphi\) state. The collection of all sets of outcomes an agent can force are often called her forcing powers. In classical game theory, these forcing powers sometimes go by the name of effectivity functions (Peleg 1997), which are often also studied for coalitions of players (see Pauly 2001; Goranko, Jamroga, &amp; Turrini 2013; and the entry on  logics for analyzing power in normal form games).