Linear programming tools for analyzing strategic games of independence-friendly logic and applications

Merlijn Sevenster

pp. 475-497

in: Hans van Ditmarsch, Paul-Gabriel Sandu (eds), Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin, Springer, 2018

Abstract

In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of (mixed strategy) Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independence-friendly logic under the so-called equilibrium semantics.