Logical Consequence and the Theory of Games

Les notions logiques de consequence sont frequemment reliees a des concepts de solution de la theorie des jeux. Dans ce contexte domine la correspondance entre une formule classiquement valide et l’existence d’une strategie gagnante pour un joueur dans un jeu a deux joueurs. Nous proposons une extension conservative de la notion classique de consequence basee sur une generalisation du concept de solution de jeu d’equilibre de Nash.