A strategic perspective on IF games
Merlijn Sevenster

Abstract:
Hintikka and Sandu's Independence-friendly logic has traditionally
been associated with extensive games of imperfect information. In this
paper we set up a strategic framework for the evaluation of IF logic a
la Hintikka and Sandu. We show that the traditional semantic
interpretation of IF logic can be characterized in terms of Nash
equilibria. We note that moving to the strategic framework we get rid
of IF semantic games that violate the principle of perfect recall. We
explore the strategic framework by replacing the notion of Nash
equilibrium by other solution concepts, that are inspired by weakly
dominant strategies and iterated removal thereof, charting the
expressive power of IF logic under the resulting semantics.