Partitions or equivalence relations are intended to represent the agents’ hard information at each state. It is well-known that the knowledge operator satisfies the properties of the epistemic logic \(\mathbf{S5}\) (see Hendricks &amp; Symons 2009 for a discussion). We do not discuss this and related issues here and instead focus on how these models can be used to provide the informational context of a game.