Approaches to Independence Friendly Modal Logic Tero Tulenheimo, Merlijn Sevenster Abstract: The aim of the present paper is to discuss two different ways of formulating independence friendly (IF) modal logic. In one of them, the language of basic modal logic is enriched with the slash notation familiar from IF first-order logics, and the resulting logic is interpreted in terms of games and uniform strategies. The present paper formulates a different approach, by introducing a framework that can be used for formulating various IF modal logics. Within the framework, an IF modal logic is defined by imposing conditions on its structural relationships to other logics, namely a specified modal logic (for instance: basic modal logic), its first-order correspondence language, and IF logic. This framework makes it possible to obtain expressively strong languages that nevertheless enjoy 'nice' properties. In this vein, the so-called 'structurally determined IF modal logic' was introduced. We compare the logics emerging from these two approaches. More generally, the issue of the Eigenart of IF modal logics is addressed.