jeudi 17 novembre 2011

Séance du 21 novembre 2011

Lundi 21 novembre

Repetition Ranks and Decidability

Nicolas Clerbout

De 14h à 16h, Salle D. Corbin (STL)

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