Slides and exercises
During the course, every day new versions of the slides and the exercises will be posted here.
Also after the course some improvements may be posted.
| Day 1: Provability as a modality | Exercises , Slides Day 1 A, Slides Day 1 B |
| Day 2: Completeness results for GL | Exercises , Slides Day 2 A, Slides Day 2 B |
| Day 3: Polymodal logics | Exercises , Slides Day 3 A, Slides Day 3 B |
| Day 4: The closed fragment | Exercises , Slides Day 4 A, Slides Day 4 B |
| Day 5: Ordinal analysis | Exercises , Slides Day 5 A, Slides Day 5 B |