 In this and the next section we look at some adaptations of the semantic games of the previous section to other logics. In our first example, the logic (the independence-friendly logic of Hintikka and Sandu 1997, or more briefly IF logic) was created in order to fit the game. See the entry on  independence friendly logic  and Mann, Sandu and Sevenster 2011 for fuller accounts of this logic.