 The principal semantics of dependence logic, called team semantics, generalizes Tarski’s semantics by letting expressions be satisfied or not satisfied with respect to sets of variable assignments rather than with respect to single assignments. This semantics pre-dates the development of dependence logic proper, and it was originally developed by Wilfrid Hodges in the context of IF-logic (Hodges 1997). There also exists a game-theoretic semantics for dependence logic, based on games of imperfect information and roughly analogous to the game-theoretic semantics for independence-friendly logic (Väänänen 2007a). Sensu stricto, the term “dependence logic” refers exclusively to the language obtained by adding the above-mentioned functional dependence atoms to the language of first-order logic; but the term is also used, in a more general sense, to refer to the the area of research that studies the properties of logics obtained by adding various notions of dependence and independence to first order logic, such as independence logic (Grädel &amp; Väänänen 2013), intuitionistic dependence logic (Yang 2013) or inclusion logic (Galliani 2012, Galliani &amp; Hella 2013), or even those of logics extending other logical frameworks through similar atoms, as in the case of modal dependence logic (Väänänen 2008).