 As for still broader connections, we have not done justice to all links between logic, games and philosophy, of which more are found in Stalnaker (1996, 1999). The same is true for links to linguistics and psychology (Clark 2012). In this language-oriented connection, one should also mention the work of Bjorndahl, Halpern, and Pass (2017) on the natural language used in specifying games and reasoning about them, thus making game analysis more description-dependent.