Wormshop 2017

Workshop on Proof Theory, Modal Logic and Reflection Principles

Steklov Mathematical Institute, Moscow, Russia
October 17-20, 2017


Tuesday, October 17

09:00–10:00 Registration (Room 515, 5th floor) and coffee (9th floor)

10:00–10:35 Giorgi Japaridze
Strong alternatives to weak arithmetics
10:35–11:10 Joost Joosten
Turing jumps again
11:10–11:45 Lorenzo Carlucci
On the strength of Hindman's Theorem for bounded sums or unions

11:45–12:15 Coffee break

12:15–12:50 Paul Shafer
The reverse mathematics of Ekeland's variational principle
12:50–13:25 David Fernández Duque
Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths

13:25–15:00 Lunch

15:00–15:35 James Walsh
On the naturalness of the consistency operator
15:35–16:10 Kentaro Sato
Negative Church's thesis and Russian constructivism

16:10–16:40 Coffee break

16:40–17:15 Dick de Jongh
Do we really need Ex Falso? A first reconnaissance
17:15–17:50 Sergey Melikhov
Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic

Wednesday, October 18

10:00–10:35 Melvin Fitting
How widespread are justification logics?
10:35–11:10 Saeed Salehi
Diagonal-free proofs of the Diagonal Lemma
11:10–11:45 Junhua Yu
Instantial Neighborhood Logic - tableau, sequent calculus, and interpolation

11:45–12:15 Coffee break

12:15–12:50 Valentin Shehtman
Simplicial semantics of modal predicate logics
12:50–13:25 Denis Saveliev
Systems of propositions referring to each other: a model-theoretic view

13:25–15:00 Lunch

15:00–15:35 Michael Zakharyaschev
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
15:35–16:10 Stanislav Speranski
On the computational aspects of Kripke's theory of truth

16:10–16:40 Coffee break

16:40–17:15 Bartosz Wcisło
Models of the compositional truth theory with bounded induction
17:15–17:50 Mateusz Łełyk
Prolongable Satisfaction Classes and Iterations of Uniform Reflection over PA

18:10 Conference dinner (9th floor)

Thursday, October 19

Student session (Room 530, 5th floor)
14:00–14:25 Mauricio Martel
Relation-changing modal logics: some model and proof theoretic aspects
14:25–14:50 Ana Borges
A Calculus for Worms
14:50–15:15 Evgeny Kolmakov
Axiomatizing provable 1-provability
15:15–15:40 Mikhail Svyatlovsky
On axiomatization and polytime decidability of the strictly positive fragment of K4.3

15:40–16:00 Coffee break

Joint session with Steklov Mathematical Institute Seminar
16:00–17:00 Albert Visser
What is Gödel's second incompleteness theorem?

17:00–18:30 Drinks on the occasion of the 50-th birthday of Lev Beklemishev

Baroque Music Concert
Marina Katarzhnova
baroque violin
Olga Martynova

H. I. F. von Biber
The Annunciation Sonata from the Mystery Sonatas for violin and basso continuo
Passacaglia for solo violin
J. S. Bach
Prelude for klavier in C minor (BWV 921)
Sonata for harpsichord and violin in C minor (BWV 1017)
Largo – Allegro – Adagio – Allegro

J. S. Bach
Chromatic Fantasia and Fugue in D minor (BWV 903)
Sonata for harpsichord and violin in F minor (BWV 1018)
Largo – Allegro – Adagio – Vivace

Friday, October 20

10:00–10:35 Stepan Kuznetsov
Iteration in residuated structures
10:35–11:10 Andre Scedrov
Lambek calculus extended with subexponential and bracket modalities
11:10–11:45 Yury Savateev
Non-Well-Founded Proofs for Modal Grzegorczyk Logic

11:45–12:15 Coffee break

12:15–12:50 Albert Visser
The second incompleteness theorem revisited
12:50–13:25 Fedor Pakhomov
Solovay’s completeness without fixed points

13:25–15:00 Lunch

15:00–15:35 Sergey Odintsov
FDE-Modalities and weak definability (joint work with H. Wansing)
15:35–16:10 Evgeny Zolin
Axiomatic classes of models in modal logics

16:10–16:40 Coffee break

16:40–17:50 Open problems session

Steklov Mathematical Institute
Gubkina 8, 119991 GSP-1 Moscow, Russia
fax. +7-(495)-984-8139
tel. +7-(495)-984-8141
e-mail: wrm17@mi.ras.ru