Workshop on Proof Theory, Modal Logic and Reflection Principles (17–20 октября 2017 г., Математический институт им. В.А. Стеклова РАН, Москва)
|
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, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
2. |
Turing jumps again J. Joosten 17 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
3. |
On the strength of Hindman's Theorem for bounded sums or unions L. Carlucci 17 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
4. |
The reverse mathematics of Ekeland's variational principle P. Shafer 17 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
5. |
Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths D. Fernández-Duque 17 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
6. |
On the naturalness of the consistency operator J. Walsh 17 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
7. |
Negative Church's thesis and Russian constructivism K. Sato 17 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
8. |
Do we really need Ex Falso? A first reconnaissance D. de Jongh 17 октября 2017 г. 16:40–17:15, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
9. |
Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic S. Melikhov 17 октября 2017 г. 17:15–17:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
|
|
18 октября 2017 г. (ср) |
 |
10. |
How widespread are justification logics? M. Fitting 18 октября 2017 г. 10:00–10:35, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
11. |
Diagonal-free proofs of the Diagonal Lemma S. Salehi 18 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
12. |
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation J. Yu 18 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
13. |
Simplicial semantics of modal predicate logics V. Shehtman 18 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
14. |
Systems of propositions referring to each other: a model-theoretic view D. Saveliev 18 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
15. |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators M. Zakharyaschev 18 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
16. |
On the computational aspects of Kripke's theory of truth S. Speranski 18 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
17. |
Models of the compositional truth theory with bounded induction B. Wcisło 18 октября 2017 г. 16:40–17:15, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
18. |
Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$ M. Łełyk 18 октября 2017 г. 17:15–17:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
|
|
19 октября 2017 г. (чт) |
|
Student session |
 |
19. |
Relation-changing modal logics: some model and proof theoretic aspects M. Martel 19 октября 2017 г. 14:00–14:25, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
20. |
A calculus for worms A. Borges 19 октября 2017 г. 14:25–14:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
21. |
Axiomatizing provable 1-provability E. Kolmakov 19 октября 2017 г. 14:50–15:15, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
22. |
On axiomatization and polytime decidability of strictly positive fragments of some modal logics M. Svyatlovsky 19 октября 2017 г. 15:15–15:40, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
|
Joint session with Steklov Mathematical Institute Seminar |
 |
23. |
What is Gödel's second incompleteness theorem? A. Visser 19 октября 2017 г. 16:00–17:00, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
|
|
20 октября 2017 г. (пт) |
 |
24. |
Iteration in residuated structures S. Kuznetsov 20 октября 2017 г. 10:00–10:35, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
25. |
Lambek calculus extended with subexponential and bracket modalities A. Scedrov 20 октября 2017 г. 10:35–11:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
26. |
Non-well-founded proofs for modal Grzegorczyk logic Yu. Savateev 20 октября 2017 г. 11:10–11:45, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
27. |
The second incompleteness theorem revisited A. Visser 20 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
28. |
Solovay’s completeness without fixed points F. Pakhomov 20 октября 2017 г. 12:50–13:25, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
29. |
$\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing) S. Odintsov 20 октября 2017 г. 15:00–15:35, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
30. |
Axiomatic classes of models in modal logics E. Zolin 20 октября 2017 г. 15:35–16:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
31. |
Open problems session 20 октября 2017 г. 16:40–18:10, Москва, Математический институт им. В.А. Стеклова РАН
|
|
|
|
 |
|