Bonn Mathematical Logic Group

Hauptseminar Mathematische Logik - Modal- und Beweisbarkeitslogik (S2A2)

Organizer

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 ".

Last changed: 28 October 2008