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/}
}
Harrenstein, Paul. Logical consequence and the theory of games. Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 179-193. http://www.numdam.org/item/PHSC_2004__8_2_179_0/
