Repetition Ranks and Decidability
Nicolas Clerbout
De 14h à 16h, Salle D. Corbin (STL)
Abstract:
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.
Aucun commentaire:
Enregistrer un commentaire