 Real games The discrepancy between specification of a game and the realities of play is especially striking in real game play, either of the ‘natural kind’ in common parlor games (van Ditmarsch &amp; Kooi 2015), or of the artificial kind found in the laboratory experiments of experimental game theory (Camerer 2003). Little work has been done by logicians in this realm, though there is a broad tradition of computational analysis of games (Schaeffer &amp; van der Herik 2002; Kurzen 2011). Any adequate logical analysis would clearly need to incorporate the considerations on bounded agency discussed in  Section 3.