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

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


October 17, 2017 

1. 
Strong alternatives to weak arithmetics G. Japaridze October 17, 2017 10:00, Moscow, Steklov Mathematical Institute





2. 
Turing jumps again J. Joosten October 17, 2017 10:35, Moscow, Steklov Mathematical Institute





3. 
On the strength of Hindman's Theorem for bounded sums or unions L. Carlucci October 17, 2017 11:10, Moscow, Steklov Mathematical Institute





4. 
The reverse mathematics of Ekeland's variational principle P. Shafer October 17, 2017 12:15, Moscow, Steklov Mathematical Institute





5. 
Caristi's fixed point theorem, nonmonotone inductive definitions, and relativized leftmost paths D. FernándezDuque October 17, 2017 12:50, Moscow, Steklov Mathematical Institute





6. 
On the naturalness of the consistency operator J. Walsh October 17, 2017 15:00, Moscow, Steklov Mathematical Institute





7. 
Negative Church's thesis and Russian constructivism K. Sato October 17, 2017 15:35, Moscow, Steklov Mathematical Institute





8. 
Do we really need Ex Falso? A first reconnaissance D. de Jongh October 17, 2017 16:40, Moscow, Steklov Mathematical Institute





9. 
Kolmogorov's interpretation and a formal semantics of the metalogic of intuitionistic logic S. Melikhov October 17, 2017 17:15, Moscow, Steklov Mathematical Institute






October 18, 2017 

10. 
How widespread are justification logics? M. Fitting October 18, 2017 10:00, Moscow, Steklov Mathematical Institute





11. 
Diagonalfree proofs of the Diagonal Lemma S. Salehi October 18, 2017 10:35, Moscow, Steklov Mathematical Institute





12. 
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation J. Yu October 18, 2017 11:10, Moscow, Steklov Mathematical Institute





13. 
Simplicial semantics of modal predicate logics V. Shehtman October 18, 2017 12:15, Moscow, Steklov Mathematical Institute





14. 
Systems of propositions referring to each other: a modeltheoretic view D. Saveliev October 18, 2017 12:50, Moscow, Steklov Mathematical Institute





15. 
Kripke completeness of strictly positive modal logics over meetsemilattices with operators M. Zakharyaschev October 18, 2017 15:00, Moscow, Steklov Mathematical Institute





16. 
On the computational aspects of Kripke's theory of truth S. Speranski October 18, 2017 15:35, Moscow, Steklov Mathematical Institute





17. 
Models of the compositional truth theory with bounded induction B. Wcisło October 18, 2017 16:40, Moscow, Steklov Mathematical Institute





18. 
Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$ M. Łełyk October 18, 2017 17:15, Moscow, Steklov Mathematical Institute






October 19, 2017 


Student session 
19. 
Relationchanging modal logics: some model and proof theoretic aspects M. Martel October 19, 2017 14:00, Moscow, Steklov Mathematical Institute





20. 
A calculus for worms A. Borges October 19, 2017 14:25, Moscow, Steklov Mathematical Institute





21. 
Axiomatizing provable 1provability E. Kolmakov October 19, 2017 14:50, Moscow, Steklov Mathematical Institute





22. 
On axiomatization and polytime decidability of strictly positive fragments of some modal logics M. Svyatlovsky October 19, 2017 15:15, Moscow, Steklov Mathematical Institute






Joint session with Steklov Mathematical Institute Seminar 
23. 
What is Gödel's second incompleteness theorem? A. Visser October 19, 2017 16:00, Moscow, Steklov Mathematical Institute






October 20, 2017 

24. 
Iteration in residuated structures S. Kuznetsov October 20, 2017 10:00, Moscow, Steklov Mathematical Institute





25. 
Lambek calculus extended with subexponential and bracket modalities A. Scedrov October 20, 2017 10:35, Moscow, Steklov Mathematical Institute





26. 
Nonwellfounded proofs for modal Grzegorczyk logic Yu. Savateev October 20, 2017 11:10, Moscow, Steklov Mathematical Institute





27. 
The second incompleteness theorem revisited A. Visser October 20, 2017 12:15, Moscow, Steklov Mathematical Institute





28. 
Solovay’s completeness without fixed points F. Pakhomov October 20, 2017 12:50, Moscow, Steklov Mathematical Institute





29. 
$\mathrm{FDE}$Modalities and weak definability (joint work with H. Wansing) S. Odintsov October 20, 2017 15:00, Moscow, Steklov Mathematical Institute





30. 
Axiomatic classes of models in modal logics E. Zolin October 20, 2017 15:35, Moscow, Steklov Mathematical Institute





31. 
Open problems session October 20, 2017 16:40, Moscow, Steklov Mathematical Institute





