## Hauptseminar Mathematische Logik - Modal- und Beweisbarkeitslogik (S2A2)

### Organizer

- Prof. Dr. Peter Koepke
- Merlin Carl

### Time and place

Friday 12:00(c.t.)-14:00 at seminar room C, Beringstrasse 1 .

### Contents

17 OctoberKatharina Schinagl" GL and other systems of propositional modal logic".24 OctoberRushmy Ramathas" Peano Arithmetic, part 1 ".31 OctoberIsabel Schlangen" Peano Arithmetic, part 2".07 NovemberVerena Goeck" Löb`s Theorem, the diagonal lemma and the box operator as Bew(x) ".14 NovemberMaxim Janzen" Semantics for GL and other modal logics ".21 NovemberAlisa Maloglazova" The completeness of GL and canonical models for normal modal systems ".28 NovemberPhilipp Bongartz" Properties of GL, letterless sentences and reflection principles ".05 DecemberSascha Kollenberg" The fixed point theorem ".12 DecemberSarah Weischer" The arithmetical completeness theorems for GL and GLS ".19 DecemberSascha Kollenberg" The fixed point theorem ".09 JanuaryRaoul Blankertz" The modal logic of analysis ".16 JanuaryKathrin Heim" Modal logic of consistency and omega-consistency, part 1".23 JanuarySerg Bogdanov" Modal logic of consistency and omega-consistency, part 2 ".30 JanuaryRuth Joachimi" The Craig interpolation lemma for GL and the fixed point theorem ".