 The language used to talk about Coalition Models is Coalition Logic (Pauly 2001), a non-normal modal logic to express choices of groups of players. Coalition Logic is an extension of propositional logic with \(|2^{N}|\) modalities of the form \([C]\), so a modal operator each indexed with a coalition.