Independendly-Friendly Logic: Dependence and Independence of Quantifiers in Logic

Abstract

Independence-Friendly logic (IF-logic) introduced by Hintikka and Sandu (1989) studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first-order logic. The present survey focuses on the game-theoretical interpretation of IF-logic, including connections to solution concepts (equilibria in mixed strategies) in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms.