Workshop on Proof Theory, Modal Logic and Reflection Principles

Oktober 31 – November 3, 2023

University of Bern, Switzerland


We are honoured to host the Workshop on Proof Theory, Modal Logic and Reflection Principles in university of Bern in 2023.

Important Dates:

Deadline for submission of abstracts: 31. Aug 2023 6. Sep 2023
Notification acceptance of abstracts: 11. Sep 2023
Early Registration Deadline: 30. Sep 2023
Final Registration Deadline: 20. October 2023



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;
IS4 is decidable

14:45-15:30 TBA;

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 Sofía Santiago-Fernández and Joost J. Joosten;
Tree rewriting system for RC

Thursday 2nd November:

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

10:15-10:45 Coffee break

10:45-11:30 Pablo Dopico;
On the costs of bivalence

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

12:15-14:00 Lunch

14:00-14:45 Reinhard Kahle, Isabel Oitavem and Paulo Guilherme Santos;
On a Problem Posed by Montagna

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

16:45-17:30 Albert Visser;
R meets Effective Essential Hereditary Creativity

Registration fees:

Early registration:

regular: CHF 200
student: CHF 100

Late registration:

CHF 250

Register via the following link:

Register here

Steering committee

Lev Beklemishev
Joost Joosten
David Fernández-Duque

Organizing committee

Bettina Choffat
Atefeh Rohani
Thomas Studer
Lukas Zenger


Hallerstrasse 6
3012 Bern, Switzerland
Room 205

Our Sponsors