RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE

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: http://wrm17.mi.ras.ru
 Workshop on Proof Theory, Modal Logic and Reflection Principles, Moscow, October 17–20, 2017 October 17, 2017 1. Strong alternatives to weak arithmeticsG. JaparidzeOctober 17, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 2. Turing jumps againJ. JoostenOctober 17, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 3. On the strength of Hindman's Theorem for bounded sums or unionsL. CarlucciOctober 17, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 4. The reverse mathematics of Ekeland's variational principleP. ShaferOctober 17, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 5. Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost pathsD. Fernández-DuqueOctober 17, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 6. On the naturalness of the consistency operatorJ. WalshOctober 17, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 7. Negative Church's thesis and Russian constructivismK. SatoOctober 17, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 8. Do we really need Ex Falso? A first reconnaissanceD. de JonghOctober 17, 2017 16:40–17:15, Moscow, Steklov Mathematical Institute 9. Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logicS. MelikhovOctober 17, 2017 17:15–17:50, Moscow, Steklov Mathematical Institute October 18, 2017 10. How widespread are justification logics?M. FittingOctober 18, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 11. Diagonal-free proofs of the Diagonal LemmaS. SalehiOctober 18, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 12. Instantial Neighborhood Logic — tableau, sequent calculus, and interpolationJ. YuOctober 18, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 13. Simplicial semantics of modal predicate logicsV. ShehtmanOctober 18, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 14. Systems of propositions referring to each other: a model-theoretic viewD. SavelievOctober 18, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 15. Kripke completeness of strictly positive modal logics over meet-semilattices with operatorsM. ZakharyaschevOctober 18, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 16. On the computational aspects of Kripke's theory of truthS. SperanskiOctober 18, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 17. Models of the compositional truth theory with bounded inductionB. WcisłoOctober 18, 2017 16:40–17:15, Moscow, Steklov Mathematical Institute 18. Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$M. ŁełykOctober 18, 2017 17:15–17:50, Moscow, Steklov Mathematical Institute October 19, 2017 Student session 19. Relation-changing modal logics: some model and proof theoretic aspectsM. MartelOctober 19, 2017 14:00–14:25, Moscow, Steklov Mathematical Institute 20. A calculus for wormsA. BorgesOctober 19, 2017 14:25–14:50, Moscow, Steklov Mathematical Institute 21. Axiomatizing provable 1-provabilityE. KolmakovOctober 19, 2017 14:50–15:15, Moscow, Steklov Mathematical Institute 22. On axiomatization and polytime decidability of strictly positive fragments of some modal logicsM. SvyatlovskyOctober 19, 2017 15:15–15:40, Moscow, Steklov Mathematical Institute Joint session with Steklov Mathematical Institute Seminar 23. What is Gödel's second incompleteness theorem?A. VisserOctober 19, 2017 16:00–17:00, Moscow, Steklov Mathematical Institute October 20, 2017 24. Iteration in residuated structuresS. KuznetsovOctober 20, 2017 10:00–10:35, Moscow, Steklov Mathematical Institute 25. Lambek calculus extended with subexponential and bracket modalitiesA. ScedrovOctober 20, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute 26. Non-well-founded proofs for modal Grzegorczyk logicYu. SavateevOctober 20, 2017 11:10–11:45, Moscow, Steklov Mathematical Institute 27. The second incompleteness theorem revisitedA. VisserOctober 20, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute 28. Solovay’s completeness without fixed pointsF. PakhomovOctober 20, 2017 12:50–13:25, Moscow, Steklov Mathematical Institute 29. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)S. OdintsovOctober 20, 2017 15:00–15:35, Moscow, Steklov Mathematical Institute 30. Axiomatic classes of models in modal logicsE. ZolinOctober 20, 2017 15:35–16:10, Moscow, Steklov Mathematical Institute 31. Open problems sessionOctober 20, 2017 16:40–18:10, Moscow, Steklov Mathematical Institute