 Most of the logical systems in this entry are of the fine-grained ‘zooming-in’ variety. Even so, coarse-grained logics of the ‘zooming-out’ variety are interesting, too, as they may highlight laws or general patterns in social behavior that lie beyond the details attended to by games and game theory. One example is the current interest in logics for the abstract notion of dependence (Väänänen 2007; Baltag 2016). Many forms of dependence and independence permeate social life. Baltag and van Benthem (2021) present a simple modal base logic of functional dependence and independence which fits this perspective, suggesting an analysis of strategies in extensive games as dynamic devices that create dependencies among players. Chen, Shi &amp; Wang (2022, Other Internet Resources) then combine this framework, applied to strategic games, with the modal preference logic discussed above to find a common logical structure underlying both competitive and cooperative games. Another example of the logical search for generality in games is the proof-theoretic analysis of Hu and Kaneko (2012) of the general postulates for social interaction in Johansen (1982).