 Notably, forcing powers are not closed under conjunction. In the game above, agent A can force p and q individually without being able to force \(p \land q\). In modal logic terms, forcing powers give rise to a neighborhood logic (Pacuit 2017), where the neighborhood functions list the set of outcomes players can enforce from a given state. Reasoning about forcing powers can then employ a logical language with forcing modalities \(\{i\}\) for each player: