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 October Katharina Schinagl " GL and other systems of propositional modal logic".
- 24 October Rushmy Ramathas " Peano Arithmetic, part 1 ".
- 31 October Isabel Schlangen " Peano Arithmetic, part 2".
- 07 November Verena Goeck " Löb`s Theorem, the diagonal lemma and the box operator as Bew(x) ".
- 14 November Maxim Janzen " Semantics for GL and other modal logics ".
- 21 November Alisa Maloglazova " The completeness of GL and canonical models for normal modal systems ".
- 28 November Philipp Bongartz " Properties of GL, letterless sentences and reflection principles ".
- 05 December Sascha Kollenberg " The fixed point theorem ".
- 12 December Sarah Weischer " The arithmetical completeness theorems for GL and GLS ".
- 19 December Sascha Kollenberg " The fixed point theorem ".
- 09 January Raoul Blankertz " The modal logic of analysis ".
- 16 January Kathrin Heim " Modal logic of consistency and omega-consistency, part 1".
- 23 January Serg Bogdanov " Modal logic of consistency and omega-consistency, part 2 ".
- 30 January Ruth Joachimi " The Craig interpolation lemma for GL and the fixed point theorem ".