Logical consequence and the theory of games
Philosophia Scientiae, Tome 8 (2004) no. 2, pp. 179-193.

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.

Logical notions of consequence have frequently been related to game-theoretical solution concepts. The correspondence between a formula being classically valid and the existence of a winning strategy for a player in a related two-person game, has been most prominent in this context. We propose a conservative extension of the classical notion of consequence that is based on a generalization of the game-theoretical solution concept of Nash equilibrium.

@article{PHSC_2004__8_2_179_0,
     author = {Harrenstein, Paul},
     title = {Logical consequence and the theory of games},
     journal = {Philosophia Scientiae},
     pages = {179--193},
     publisher = {\'Editions Kim\'e},
     volume = {8},
     number = {2},
     year = {2004},
     language = {en},
     url = {http://www.numdam.org/item/PHSC_2004__8_2_179_0/}
}
TY  - JOUR
AU  - Harrenstein, Paul
TI  - Logical consequence and the theory of games
JO  - Philosophia Scientiae
PY  - 2004
SP  - 179
EP  - 193
VL  - 8
IS  - 2
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_2004__8_2_179_0/
LA  - en
ID  - PHSC_2004__8_2_179_0
ER  - 
%0 Journal Article
%A Harrenstein, Paul
%T Logical consequence and the theory of games
%J Philosophia Scientiae
%D 2004
%P 179-193
%V 8
%N 2
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_2004__8_2_179_0/
%G en
%F PHSC_2004__8_2_179_0
Harrenstein, Paul. Logical consequence and the theory of games. Philosophia Scientiae, Tome 8 (2004) no. 2, pp. 179-193. http://www.numdam.org/item/PHSC_2004__8_2_179_0/