Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы", г. Москва, 14 февраля–22 мая 2024 г.
-
О разрешимых фрагментах некоторых логических систем
С. Л. Кузнецов, С. О. Сперанский
22 мая 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Инфинитарное исчисление для первопорядковой вероятностной логики Огняновича
Никита Лукашов
17 апреля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О наследственной неразрешимости фрагментов элементарных теорий–2
В. Е. Карпов
10 апреля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О наследственной неразрешимости фрагментов элементарных теорий
В. Е. Карпов
3 апреля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Исчисление Ламбека с модальностью локального сокращения, его свойства и семантика
М. В. Валинкин
27 марта 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
Т. Г. Пшеницын
20 марта 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
Т. Г. Пшеницын
13 марта 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Замыкающие ординалы и сложность для инфинитарной логики действий
С. Л. Кузнецов
6 марта 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Кванторные логики для рассуждений о знании и вероятности в духе Хальперна–2
А. В. Грефенштейн
28 февраля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Кванторные логики для рассуждений о знании и вероятности в духе Хальперна
А. В. Грефенштейн
21 февраля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Первопорядковые вероятностные логики Хальперна
С. О. Сперанский
14 февраля 2024 г. 18:15
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
© , 2024
|
