Logical Seminar of the Manin Laboratory
Dolgpoprudny
Logical Seminar of the Manin Laboratory, Dolgpoprudny
mathematical logic
-
Об окрестностной полноте и сложности некоторых ненормальных модальных логик
A. V. Kudinov
September 17, 2025 14:00
Dolgpoprudny
-
Модальные предикатные логики дедекиндовых порядков
M. N. Rybakov
September 10, 2025 14:00
Dolgpoprudny
-
Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 1)
L. V. Dvorkin
April 16, 2025 14:00
Dolgpoprudny
-
Фрагменты арифметики и циклические выводы.
April 9, 2025 14:00
Dolgpoprudny
-
Топологический квадрат логики S4.1
April 2, 2025 14:00
Dolgpoprudny
-
Аналоги теоремы Шепердсона для языка с экспонентой (часть 2)
March 26, 2025 14:00
Dolgpoprudny
-
Аналоги теоремы Шепердсона для языка с экспонентой
Kovalyov Konstantin
March 19, 2025 14:00
Dolgpoprudny
-
Модальное расширение двойственной классической паранепротиворечивой логики
Slusarev Ivan
March 12, 2025 14:00
Dolgpoprudny
mathematical logic
-
Semiproducts of modal logics
V. B. Shehtman
February 26, 2025 14:00
Dolgpoprudny
-
Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
M. N. Rybakov
February 19, 2025 14:30
Dolgpoprudny
© , 2025
RSS: Forthcoming seminars
Seminar organizer