Цель семинара — познакомить участников с разнообразными результатами и методами в области математической логики и теоретической информатики. Предполагается, что программа семинара будет состоять из докладов продолжительностью 2-4 занятия, включающих достаточно подробные разборы актуальных работ (как недавних, так и классических) в данной области. В качестве источников будут выступать статьи и главы из книг, а также собственные тексты докладчиков.

Семинар призван помочь студентам, аспирантам и молодым учёным расширить свой кругозор и освоить более продвинутые техники.

В 2025 г. семинар действовал под названием «Вероятностные и субструктурные логические системы»; см. также семинар весны 2024.

Программа: Каждый доклад будет посвящён некоторой логической системе и включать разбор доказательств связанных с ней результатов. Докладчики будут выбираться руководителями семинара, в основном из числа студентов и аспирантов.

Примеры источников:
[1] M. Abadi, J.Y. Halpern, Decidability and expressiveness for first-order logics of probability // Information and Computation, 112 (1) (1994), pp. 1–36.
[2] J. Ax, The elementary theory of finite fields // Annals of Mathematics, 88(2) (1968), pp. 239–271.
[3] P.J. Cohen, Decision procedures for real and p-adic fields // Communications of Pure and Applied Mathematics, XXII (1969), pp. 131–151.
[4] R. Fagin, J.Y. Halpern, N. Megiddo, A logic for reasoning about probabilities // Information and Computation, 87(1–2) (1990), pp. 78–128.
[5] D. Harel, A. Pnueli, J. Stavi, Propositional dynamic logic of nonregular programs // Journal of Computer and System Sciences, 26(2) (1983), pp. 222–243.
[6] J.-Y. Girard, Linear logic // Theoretical Computer Science, 50(1) (1987), pp. 1–101.
[7] J. Lambek, The mathematics of sentence structure // American Mathematical Monthly, 65 (1978), pp. 154–170.
[8] D. Kozen, On the complexity of reasoning in Kleene algebra // Information and Computation, 179(2) (2002), pp. 152–162.
[9] Z. Ognjanović, A. Ilić-Stepić, Logics with probability operators // In: Z. Ognjanović (ed.), Probabilistic Extensions of Various Logical Systems, Springer, 2020, pp. 1–35.
[10] M. Pentus, Product-free Lambek calculus and context-free grammars // Journal of Symbolic Logic, 62(2) (1997), pp. 648–660.
[11] J. Robinson, Definability and decision problems in arithmetic // Journal of Symbolic Logic, 14(2) (1949), pp. 98–114.
[12] R.M. Solovay, R.D. Arthan, J. Harrison, Some new results on decidability for elementary algebra and geometry // Annals of Pure and Applied Logic, 163(12), (2012), pp. 1765–1802.
[13] W. Thomas, Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor // ACM SIGLOG News, 5(1) (2018), pp. 14–18.
[14] A. Urquhart, The undecidability of entailment and relevant implication // Journal of Symbolic Logic, 49(4) (1984), pp. 1059–1073.

Программа

Руководители семинара
Кузнецов Степан Львович
Сперанский Станислав Олегович

Финансовая поддержка
Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2025-303).

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)