 expressing the grid-like structure of matrix games. This logic bears some resemblance to STIT-type logics of actions (Herzig &amp; Lorini 2010). Technically, a grid structure in models allows for encoding of undecidable computational problems (Blackburn, de Rijke, &amp; Venema 2001), rendering it an open problem whether expressive modal logics of game matrices are decidable.