Teaching
In the academic year 2023/2024, I am responsible for the following courses:
- Topics in Modal Logic,
an advanced course on modal logic
in the local MSc Logic
programme.
The 2023/2024 edition of this course will be devoted to modal fixpoin logic.
- Wiskundige Logica
a course in Logic for second-year mathematics students.
- Proof Theory
an introductory course on proof theory in the local
MSc Logic
programme.
I teach this course together with Marianna Girlando.