Logical Consequence and the Theory of Games

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 exten...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Harrenstein, Paul
Format: Article ou chapitre numérique
Langue:Français
Publié: 2004
Accès en ligne:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM
Description
Résumé: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.