Logical consequence and the theory of games

Paul Harrenstein

pp. 179-193

in: Manuel Rebuschi, Tero Tulenheimo (eds), Logique & théorie des jeux, Philosophia Scientiae 8 (2), 2004.

Abstract

Les notions logiques de conséquence sont fréquemment reliées à des concepts de solution de la théorie des jeux. Dans ce contexte domine la correspondance entre une formule classiquement valide et l’existence d’une stratégie gagnante pour un joueur dans un jeu à deux joueurs. Nous proposons une extension conservative de la notion classique de conséquence basée sur une généralisation du concept de solution de jeu d’équilibre de Nash.