Séance du 30 janvier

Nous nous retrouverons mercredi 30 janvier de 10h à 12h, en salle A22.208.

La semaine dernière, nous étions tombés sur un redoutable "It is easy to check". Nous commencerons donc demain par nous frotter à la facilité annoncée... Voici le problème (traduction approximative), p. 196 :

Tout point w dans tout modèle M pour une logique L est associé à un ensemble de formules. Il est facile de vérifier (et le lecteur devrait le faire) que cet ensemble de formule est maximal L-cohérent. Ainsi, si une formule F est vraie dans un modèle pour L, alors F appartient à un ensemble maximal L-cohérent.


Rappel : à partir du 6 février, nous nous réunirons en salle A11.213

Salles

L'administration n'a pas pu nous allouer une salle pour la séance du 23 janvier. Rendez-vous donc le mercredi 23 janvier à 9h45 à l'UFR de Philosophie. Nous partirons alors à la recherche d'une salle libre.

Le 30 janvier, nous aurons la salle A22.208 à notre disposition.
Puis, à partir du 6 février et jusqu'à la fin de l'année, nous utiliserons la salle A11.213.

Reprise du séminaire le mercredi 23 janvier

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