Salle Corbin
The gap in the proof
Nicolas Clerbout
Abstract:
In my last talk I mentionned a result which holds in propositional and first-order dialogical games, namely that the Proponent has a winning strategy in D(F) if and only if he has one in D1(F), where F is a sentence of the relevant language and D1(F) is the subgame of D(F) where the Opponent chooses rank 1.
I also mentionned that there is currently a gap in the proof of the righ-to-left direction. Briefly, the point is that in order to prove this direction we need to prove that if the Opponent cannot win by chosing rank 1 then she cannot win at all.
The aim of this talk is to discuss and hopefully give the proof of that last claim.
I also mentionned that there is currently a gap in the proof of the righ-to-left direction. Briefly, the point is that in order to prove this direction we need to prove that if the Opponent cannot win by chosing rank 1 then she cannot win at all.
The aim of this talk is to discuss and hopefully give the proof of that last claim.
Aucun commentaire:
Enregistrer un commentaire