14/01/2022: Lecture 4 – Realisability in System F and strong normalization theorem (additional material: whiteboard, until slide 11)
18/01/2022: Lecture by Thomas C
21/01/2022: Lecture by Thomas C
25/01/2022: Lecture by Thomas C
28/01/2022: Lecture by Thomas C
1/02/2022: Lecture by Thomas C
4/02/2022: Lecture 5 – End of lecture on strong normalization of system F (additional material: whiteboard)
8/02/2022: Lecture 6 – Expressiveness of second-order logic, Knaster-Tarski fixed-point theorem, Defect of the standard semantics (additional material: whiteboard)
11/02/2022: Lecture 7 – Full models and Henkin models of second-order logic, completeness of second-order logic wrt Henkin's models (additional material: whiteboard)
15/02/2022: Lecture 8 – Representation theorem of system F (additional material: whiteboard)
18/02/2022: Lecture by Thomas C
22/02/2022: Lecture by Thomas C
25/02/2022: Lecture by Thomas C
1/03/2022: Lecture 9 – Representation of free structures in system F (additional material: whiteboard)
4/03/2022: cancelled
8/03/2022: Lecture by Thomas C
11/03/2022: Lecture by Thomas C
15/03/2022: Lecture 10 – Proof theory of the mu-calculus (additional material: whiteboard)
18/03/2022: Lecture 11 – Proof systems for the (modal) mu-calculus: 2- Infinintary Proof systems for the mu-calculus (additional material: whiteboard)
22/03/2022: Lecture 12 – Proof systems for the (modal) mu-calculus: 3- Infinitary proofs with the Omega-rule, relations with other proof systems) (additional material: whiteboard)