Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  

Workshop on Proof Theory, Modal Logic and Reflection Principles
(17–20 октября 2017 г., Математический институт им. В.А. Стеклова РАН, Москва)

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

Программа

Постер

Программный комитет
Беклемишев Лев Дмитриевич
Fernández-Duque David
Joosten Joost J
Пахомов Фёдор Николаевич

Организационный комитет
Кузнецов Степан Львович
Пахомов Фёдор Николаевич
Шамканов Данияр Салкарбекович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


Workshop on Proof Theory, Modal Logic and Reflection Principles, Москва, 17–20 октября 2017 г.

17 октября 2017 г. (вт)
1. Strong alternatives to weak arithmetics
G. Japaridze
17 октября 2017 г. 10:00–10:35, Москва, Математический институт им. В.А. Стеклова РАН 		G. Japaridze
  
2. Turing jumps again
J. Joosten
17 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН 		J. Joosten
  
3. On the strength of Hindman's Theorem for bounded sums or unions
L. Carlucci
17 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН 		L. Carlucci
  
4. The reverse mathematics of Ekeland's variational principle
P. Shafer
17 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН 		P. Shafer
  
5. Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths
D. Fernández-Duque
17 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН 		D. Fernández-Duque
  
6. On the naturalness of the consistency operator
J. Walsh
17 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН 		J. Walsh
  
7. Negative Church's thesis and Russian constructivism
K. Sato
17 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН 		K. Sato
  
8. Do we really need Ex Falso? A first reconnaissance
D. de Jongh
17 октября 2017 г. 16:40–17:15, Москва, Математический институт им. В.А. Стеклова РАН 		D. de Jongh
  
9. Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic
S. Melikhov
17 октября 2017 г. 17:15–17:50, Москва, Математический институт им. В.А. Стеклова РАН 		S. Melikhov
  

18 октября 2017 г. (ср)
10. How widespread are justification logics?
M. Fitting
18 октября 2017 г. 10:00–10:35, Москва, Математический институт им. В.А. Стеклова РАН 		M. Fitting
  
11. Diagonal-free proofs of the Diagonal Lemma
S. Salehi
18 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН 		S. Salehi
  
12. Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
18 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН 		J. Yu
  
13. Simplicial semantics of modal predicate logics
V. Shehtman
18 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН 		V. Shehtman
  
14. Systems of propositions referring to each other: a model-theoretic view
D. Saveliev
18 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН 		D. Saveliev
  
15. Kripke completeness of strictly positive modal logics over meet-semilattices with operators
M. Zakharyaschev
18 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН 		M. Zakharyaschev
  
16. On the computational aspects of Kripke's theory of truth
S. Speranski
18 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН 		S. Speranski
  
17. Models of the compositional truth theory with bounded induction
B. Wcisło
18 октября 2017 г. 16:40–17:15, Москва, Математический институт им. В.А. Стеклова РАН 		B. Wcisło
  
18. Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$
M. Łełyk
18 октября 2017 г. 17:15–17:50, Москва, Математический институт им. В.А. Стеклова РАН 		M. Łełyk
  

19 октября 2017 г. (чт)
  Student session
19. Relation-changing modal logics: some model and proof theoretic aspects
M. Martel
19 октября 2017 г. 14:00–14:25, Москва, Математический институт им. В.А. Стеклова РАН 		M. Martel
  
20. A calculus for worms
A. Borges
19 октября 2017 г. 14:25–14:50, Москва, Математический институт им. В.А. Стеклова РАН 		A. Borges
  
21. Axiomatizing provable 1-provability
E. Kolmakov
19 октября 2017 г. 14:50–15:15, Москва, Математический институт им. В.А. Стеклова РАН 		E. Kolmakov
  
22. On axiomatization and polytime decidability of strictly positive fragments of some modal logics
M. Svyatlovsky
19 октября 2017 г. 15:15–15:40, Москва, Математический институт им. В.А. Стеклова РАН 		M. Svyatlovsky
  
  Joint session with Steklov Mathematical Institute Seminar
23. What is Gödel's second incompleteness theorem?
A. Visser
19 октября 2017 г. 16:00–17:00, Москва, Математический институт им. В.А. Стеклова РАН 		A. Visser

20 октября 2017 г. (пт)
24. Iteration in residuated structures
S. Kuznetsov
20 октября 2017 г. 10:00–10:35, Москва, Математический институт им. В.А. Стеклова РАН 		S. Kuznetsov
  
25. Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
20 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН 		A. Scedrov
  
26. Non-well-founded proofs for modal Grzegorczyk logic
Yu. Savateev
20 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН 		Yu. Savateev
  
27. The second incompleteness theorem revisited
A. Visser
20 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН 		A. Visser
  
28. Solovay’s completeness without fixed points
F. Pakhomov
20 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН 		F. Pakhomov
  
29. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
S. Odintsov
20 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН 		S. Odintsov
  
30. Axiomatic classes of models in modal logics
E. Zolin
20 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН 		E. Zolin
  
31. Open problems session
20 октября 2017 г. 16:40–18:10, Москва, Математический институт им. В.А. Стеклова РАН
  
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025