samedi 26 novembre 2011

Séance du 28 novembre

Comme annoncé précédemment, la séance prévue le 21 novembre aura lieu ce 28 novembre.

Lieu : Salle D. Corbin
Horaire : 14h-16h

Pour rappel, la séance sera consacrée au thème suivant :

Repetition Ranks and Decidability
Nicolas Clerbout

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