A partir du 17 décembre, nous travaillerons en logique modale, avec comme support l'excellent Modal Logic de Blackburn, de Rijke et Venema chez Cambridge University Press.
Nous prendrons un moment à la fin de la séance pour réfléchir à la suite des réjouissances (organisation des prochaines séances, etc).
lundi 10 décembre 2007
mercredi 5 décembre 2007
Lundi 10 décembre
Pas de séance de l'atelier Outils formels, car Graham Priest fera une intervention dans le cadre du séminaire "Référence". Venez nombreux !
Pour rappel, le blog du séminaire référence se trouve ici
Pour rappel, le blog du séminaire référence se trouve ici
Lundi 3 décembre
La séance était initialement prévue pour un exposé de Marie-Hélène Gorisse sur la dialogique standard de premier ordre.
Mais toutes les personnes présentes étaient familières avec ce sujet.
C'est pourquoi la séance a consisté en une discussion intéressante et riche sur certains systèmes modaux étudiés par Laurent Keiff dans sa thèse et sur les dialogues qu'il a développé pour ces systèmes.
Mais toutes les personnes présentes étaient familières avec ce sujet.
C'est pourquoi la séance a consisté en une discussion intéressante et riche sur certains systèmes modaux étudiés par Laurent Keiff dans sa thèse et sur les dialogues qu'il a développé pour ces systèmes.
Inscription à :
Articles (Atom)