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.

Séance du 21/11/11 reportée

La séance prévue ce Lundi 21 novembre est reportée au 28 novembre.

Horaires et salles seront communiqués prochainement.

Séance du 21 novembre 2011

Lundi 21 novembre

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.

Groupe de Travail, Saison 2011-2012

Le Groupe de Travail "Dialogique" reprend pour l'année 2011-2012.

Les séances auront lieu cette année le lundi de 14h à 16h. Le groupe ne se réunira pas tous les lundis : reportez-vous à ce blog pour connaître les dates et sujets abordés.

La première séance a lieu aujourd'hui 7 novembre. Exceptionnellement nous ne savons pas dans quelle salle aura lieu cette séance. Rendez-vous un peu avant 14 heures au bureau des doctorants (Salle B4142b).

C'est Sébastien Magnier qui fera une présentation aujourd'hui, sur le sujet : Why a public announcement is not an implication.

Dans cette intervention, S. Magnier expliquera en quoi l'annonce publique diffère de divers types d'implications (matérielle, stricte, etc).