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 |