ИСТИНА

• Члены программного комитета: Кузнецов С.Л., Пахомов Ф.Н., Беклемишев Л.Д.
• Охват: Международная
• Даты проведения: 17-20 октября 2017
• Место проведения: Steklov Mathematical Institute, Moscow, Russia, Russia
• Организатор:
  Математический институт им. В.А.Стеклова РАН
• Число участников: 50
• Число иностранных участников: 30
• Число участников из МГУ: 10
• Число докладчиков: 30
• Веб-сайт: http://wrm17.mi.ras.ru/
• Описание конференции:

  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

• Добавил в систему: Золин Евгений Евгеньевич

Доклады:

• 2017 Axiomatic classes of models in modal logics (Устный)
• Автор: Zolin Evgeny

• 2017 Axiomatizing provable 1-provability (Устный)
• Автор: Kolmakov E.A.

• 2017 FDE-Modalities and weak definability (Устный)
• Автор: Odintsov Sergey

• 2017 Iteration in residuated structures (Приглашенный)
• Автор: Kuznetsov Stepan

• 2017 Kolmogorov’s interpretation and a formal semantics of the meta-logic of intuitionistic logic (Устный)
• Автор: Melikhov Sergey

• 2017 Lambek calculus extended with subexponential and bracket modalities (Устный)
• Автор: Scedrov Andre

• 2017 Non-well-founded proofs for modal grzegorczyk logic (Устный)
• Автор: Savateev Yury

• 2017 On axiomatization and polytime decidability of the strictly positive fragment of K4.3 (Устный)
• Автор: Svyatlovsky Mikhail

• 2017 Simplicial semantics of modal predicate logics (Устный)
• Автор: Shehtman Valentin

• 2017 Solovay’s completeness without fixed points (Устный)
• Автор: Pakhomov Fedor

• 2017 Strong alternatives to weak arithmetics (Устный)
• Автор: Japaridze Giorgi

• 2017 Systems of propositions referring to each other: a model-theoretic view (Устный)
• Автор: Saveliev Denis

• 2017 The second incompleteness theorem revisited (Устный)
• Автор: Visser Albert

• 2017 What is Gödel’s Second Incompleteness Theorem? (Устный)
• Автор: Visser Albert