ESSLLI 2012 Course Materials
Provability logics and applications

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