Wormshop 2017
Workshop on Proof Theory, Modal Logic and Reflection Principles
Steklov Mathematical Institute, Moscow, Russia
October 1720,
2017
Preliminary program
 Bahareh Afshari
Cyclic and acyclic proofs for modal mucalculus
 Juan Pablo Aguilera (TBC)
The infinite epsilon calculus
 Lev Beklemishev
On the universal algebra for the closed fragment of Reflection Calculus with conservativity modalities
 Ana Borges
TBA
 Lorenzo Carlucci (TBC)
TBA
 Ali Enayat (TBC)
Truth and speedup
 David Fernández Duque
Fixed point theorems in analysis and strong systems of arithmetic
 Melvin Fitting
How widespread are justification logics?
 Kentaro Fujimoto (TBC)
TBA
 Paula Henk (TBC)
TBA
 Rosalie Iemhoff (TBC)
Structure and regularity in logic
 Giorgi Japaridze
Give Caesar what belongs to Caesar
 Dick de Jongh
Neighborhood models for subintuitionistic logics and the relation to modal logic.
 Joost J. Joosten
Turing jumps again
 Max Kanovich
TBA
 Stepan Kuznetsov
Iteration in residuated structures
 Graham Leigh
Reflecting on truth
 Mauricio Martel
Relationchanging modal logics: some model and proof theoretic aspects
 Sergey Melikhov
Kolmogorov's interpretation and a formal semantics of the metalogic of intuitionistic logic
 Carlo Nikolai
Variations on reflection over disquotational truth
 Sergey Odintsov
FDEModalities and weak definability (joint work with H. Wansing)
 Fedor Pakhomov
Solovay’s completeness without fixed points
 Mati Pentus
TBA
 Vladimir Podolskii (TBC)
TBA
 Eduardo Hermo Reyes (TBC)
TBA
 Saeed Salehi
Diagonalfree proofs of the Diagonal Lemma
 Kentaro Sato (TBC)
TBA
 Yuri Savateev (TBC)
TBA
 Denis Saveliev
Long GLPhierarchies and higher indescribability

Andre Scedrov
Lambek calculus extended with subexponential and bracket modalities
 Paul Shafer
The reverse mathematics of Caristi’s fixed point theorem
 Daniyar Shamkanov
Global Neighbourhood Completeness of the GödelLöb Provability Logic.
 Ilya Shapirovsky (TBC)
TBA
 Valentin Shehtman
On neighbourhood completeness in modal logic
 Stanislav Speranski
On the computational aspects of Kripke's theory of truth
 Alexey Talambutsa (TBC)
TBA
 Albert Visser
The second incompleteness theorem revisited
 James Walsh
On the naturalness of the consistency operator
 Junhua Yu
Lyndon interpolation theorem for the instantial neighborhood logic — a constructive proof.
 Michael Zakharyaschev (TBC)
Strictly positive fragments of modal logics
 Evgeny Zolin
Axiomatic classes of models in modal logics