Workshop on Proof Theory, Modal Logic and Reflection Principles

Tuesday 31st October:

9:30-10:15 Joost J. Joosten;
My worms, my friends

10:15-10:45 Coffee break

10:45-11:30 Gerhard Jäger;
Universes in Explicit Mathematics - Some Irritations?

11:30-12:15 Thibaut Kouptchinsky;
The limits of determinacy in third-order arithmetic

12:15-14:00 Lunch

14:00-14:45 Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales and Lutz Strassburger;
A decision procedure for IS4, Part 1

14:45-15:30 Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales and Lutz Strassburger;
A decision procedure for IS4, Part 2

15:30-16:00 Coffee break

16:00-16:45 Daniyar Shamkanov;
A realization theorem for the modal logic of transitive closure K+

16:45-17:30 Roman Kuznets;
Simplicial Approaches to Crashing Agents

Wednesday 1st November:

9:30-10:15 Philipp Provenzano, Mojtaba Mojtahedi, Fedor Pakhomov and Albert Visser;
Reflection and Induction for subsystems of HA

10:15-10:45 Coffee break

10:45-11:30 Borja Sierra-Miranda and Albert Visser;
Provability Logic in Fragments of HA - A First Look

11:30-12:15 Mojtaba Mojtahedi;
On Provability Logic of Heyting Arithmetic

12:15-14:00 Lunch

14:00-14:45 Juan Aguilera;
The Compactness of Gödel Logic

14:45-15:30 Anupam Das, Iris van der Giessen and Sonia Marin;
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelation semantics

15:30-16:00 Coffee break

16:00-16:45 Sebastijan Horvat;
Van Benthem's characterisation theorem for interpretability logic IL with respect to Verbrugge semantics

16:45-17:30 Reinhard Kahle, Isabel Oitavem and Paulo Guilherme Santos;
On a Problem Posed by Montagna

18:30 Social Dinner at Gourmanderie Moléson;
Aarbergergasse 24, 3011 Bern

Thursday 2nd November:

9:30-10:15 Sergei Artemov;
The provability of consistency

10:15-10:45 Coffee break

10:45-11:30 Fedor Pakhomov;
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Π¹₁-CA₀

11:30-12:15 Andreas Weiermann;
A new fine structure of primitive recursive functions

12:15-14:00 Lunch

14:00-14:45 Albert Visser;
R meets Effective Essential Hereditary Creativity

14:45-15:30 Guillaume Aucher;
On the Proof Theory and Correspondence Theory of Atomic and Molecular Logics

15:30-16:00 Coffee break

16:00-16:45 Lev D. Beklemishev and Yunsong Wang;
General topological frames for polymodal provability logic based on periodic sets of ordinals