M2 LMFI: Quantification du second-ordre et points-fixes en logique

M2 LMFI: Second-order quantification and fixed points in logic (SOFIX)

The 2023-2024 SOFIX course is jointly taught by Thomas Colcombet and Alexis Saurin. See the description of the course on the LMFI website

Partie sur la théorie de la preuve du second-ordre et du mu-calcul

Part on the proof theory of second-order logic and of the mu-calculus

Planning and Lecture notes / Notes de cours:

(The end of the semester will certainly be adapted wrt this schedule.)

Graded Homework / DM noté:
Bibliographic references / Références bibliographiques: