 Games in strategic form can be viewed naturally as models for a modal language of choice and uncertainty, where each state m consists of a strategy profiles, i.e., a sequence \((m_1,m_2\ldots)\) listing each player’s choice of action. For convenience, the preference modality has been included: