Conferences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  

Workshop on Proof Theory, Modal Logic and Reflection Principles
(October 17–20, 2017, Steklov Mathematical Institute, Moscow)

The international workshop "Proof Theory, Modal Logic and Reflection Principles", also known as the “Wormshop”, will take place at Steklov Institute of Mathematics in Moscow, Russia, from 17.10.2017 to 20.10.2017.

In recent years an approach has been developed for the ordinal analysis of formal theories, based on the study of modal properties of reflection principles. This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

Topics include but are not restricted to:

  • Provability logics and algebras
  • Turing-Feferman progressions
  • Weak fragments of modal logics
  • Proof theory and ordinal analysis
  • Fragments of first-order arithmetic
  • Modalities in topology and set theory
  • Axiomatic theories of truth

The workshop is the 4-th conference in the series. The previous conferences took place in Barcelona (2012), Mexico City (2014) and Tbilisi (2016).

Website: https://wrm17.mi.ras.ru

Program

Рoster

Program Committee
Beklemishev Lev Dmitrievich
Fernández-Duque David
Joosten Joost J
Pakhomov Fedor Nikolaevich

Organizing Committee
Kuznetsov Stepan Lvovich
Pakhomov Fedor Nikolaevich
Shamkanov Daniyar Salkarbekovich

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


Workshop on Proof Theory, Modal Logic and Reflection Principles, Moscow, October 17–20, 2017

October 17, 2017 (Tue)
1. Strong alternatives to weak arithmetics
G. Japaridze
October 17, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 		G. Japaridze
  
2. Turing jumps again
J. Joosten
October 17, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 		J. Joosten
  
3. On the strength of Hindman's Theorem for bounded sums or unions
L. Carlucci
October 17, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 		L. Carlucci
  
4. The reverse mathematics of Ekeland's variational principle
P. Shafer
October 17, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 		P. Shafer
  
5. Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths
D. Fernández-Duque
October 17, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 		D. Fernández-Duque
  
6. On the naturalness of the consistency operator
J. Walsh
October 17, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 		J. Walsh
  
7. Negative Church's thesis and Russian constructivism
K. Sato
October 17, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 		K. Sato
  
8. Do we really need Ex Falso? A first reconnaissance
D. de Jongh
October 17, 2017 16:40–17:15, Moscow, Steklov Mathematical Institute 		D. de Jongh
  
9. Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic
S. Melikhov
October 17, 2017 17:15–17:50, Moscow, Steklov Mathematical Institute 		S. Melikhov
  

October 18, 2017 (Wed)
10. How widespread are justification logics?
M. Fitting
October 18, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 		M. Fitting
  
11. Diagonal-free proofs of the Diagonal Lemma
S. Salehi
October 18, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 		S. Salehi
  
12. Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
October 18, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 		J. Yu
  
13. Simplicial semantics of modal predicate logics
V. Shehtman
October 18, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 		V. Shehtman
  
14. Systems of propositions referring to each other: a model-theoretic view
D. Saveliev
October 18, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 		D. Saveliev
  
15. Kripke completeness of strictly positive modal logics over meet-semilattices with operators
M. Zakharyaschev
October 18, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 		M. Zakharyaschev
  
16. On the computational aspects of Kripke's theory of truth
S. Speranski
October 18, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 		S. Speranski
  
17. Models of the compositional truth theory with bounded induction
B. Wcisło
October 18, 2017 16:40–17:15, Moscow, Steklov Mathematical Institute 		B. Wcisło
  
18. Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$
M. Łełyk
October 18, 2017 17:15–17:50, Moscow, Steklov Mathematical Institute 		M. Łełyk
  

October 19, 2017 (Thu)
  Student session
19. Relation-changing modal logics: some model and proof theoretic aspects
M. Martel
October 19, 2017 14:00–14:25, Moscow, Steklov Mathematical Institute 		M. Martel
  
20. A calculus for worms
A. Borges
October 19, 2017 14:25–14:50, Moscow, Steklov Mathematical Institute 		A. Borges
  
21. Axiomatizing provable 1-provability
E. Kolmakov
October 19, 2017 14:50–15:15, Moscow, Steklov Mathematical Institute 		E. Kolmakov
  
22. On axiomatization and polytime decidability of strictly positive fragments of some modal logics
M. Svyatlovsky
October 19, 2017 15:15–15:40, Moscow, Steklov Mathematical Institute 		M. Svyatlovsky
  
  Joint session with Steklov Mathematical Institute Seminar
23. What is Gödel's second incompleteness theorem?
A. Visser
October 19, 2017 16:00–17:00, Moscow, Steklov Mathematical Institute 		A. Visser

October 20, 2017 (Fri)
24. Iteration in residuated structures
S. Kuznetsov
October 20, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 		S. Kuznetsov
  
25. Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
October 20, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 		A. Scedrov
  
26. Non-well-founded proofs for modal Grzegorczyk logic
Yu. Savateev
October 20, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 		Yu. Savateev
  
27. The second incompleteness theorem revisited
A. Visser
October 20, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 		A. Visser
  
28. Solovay’s completeness without fixed points
F. Pakhomov
October 20, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 		F. Pakhomov
  
29. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
S. Odintsov
October 20, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 		S. Odintsov
  
30. Axiomatic classes of models in modal logics
E. Zolin
October 20, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 		E. Zolin
  
31. Open problems session
October 20, 2017 16:40–18:10, Moscow, Steklov Mathematical Institute
  
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024