Lieu : Salle D. Corbin
Horaire : 14h-16h
Pour rappel, la séance sera consacrée au thème suivant :
Repetition Ranks and Decidability
The aim of the talk is to explain how the question of decidability gets manifested in Dialogical Logic. We will see that a clear and concise formulation of the dialogical manifestation of the decidability (or not) of a logic can be given in terms of repetition ranks.
We will consider the cases of Propositional Logic and First-Order Logic.