Avec les modifications d'emploi du temps liées au passage au deuxième semestre, le séminaire "Outils Formels" change de lieu et d'horaire.
Les séances auront désormais lieu chaque mercredi, de 10h à 12h.
La salle où nous nous réunirons n'est pas encore fixée, nous attendons une réponse de l'administration.
La reprise est fixée au 23 janvier. Nous commencerons à travailler sur le paragraphe 4.2 de Blackburn et al., Modal Logic. Il s'agit du théorème de complétude dans le cadre des modèles canoniques.
Pour ceux qui n'auraient pas (encore) le livre, il est possible d'avoir des photocopies des paragraphes 4.1 et 4.2
A bientôt