 A third example of game design in between game logics and logic games are the Boolean games of Harrenstein et al. (2001) and Gutierrez, Harrenstein, and Wooldridge (2015) that have been mentioned several times already. Each player is handed control over a subset of the propositional variables, and can pick truth values for these at will. Using goals specified in temporal logics, these games can model a large number of relevant scenarios of agency. By now, a growing body of work addresses various aspects of Boolean games including their computational characteristics (both single-shot and iterated), their game-theoretic properties and equilibria (Gutierrez, Harrenstein, &amp; Wooldridge 2015), and their connections with games played on social networks (Seligman &amp; Thompson 2015). Further discussion can be found in the entry on  coalitional powers.