Внешние семинары
Теория доказательств
семинар, МИАН
25 сентября 2023 г.
— Н. Лукашов. О проблеме унификации для полимодальной логики доказуемости.
Видеозапись доклада: Н. Лукашов
18 марта 2024 г.
— Д. Шамканов (совместный доклад с П. Разумным). О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств.
Видеозапись доклада: Д. Шамканов
Вероятностные и субструктурные логические системы
семинар, МИАН, 17 апреля 2024 г.
— Н. Лукашов. Инфинитарное исчисление для первопорядковой логики Огняновича.
Слайды: Н. Лукашов
Нестандартные логики
семинар, нгу
21 мая 2024 г.
— М. Рыбаков. Метод Крипке моделирования бинарного предиката унарными.
Слайды: М. Рыбаков
19 сентября 2024 г.
— М. Рыбаков. Неразрешимость QLC с двумя переменными.
Слайды: М. Рыбаков
Логические проблемы информатики
семинар, МГУ, 24 мая 2024 г.
— М. Рыбаков. Неразрешимость логики QLC в языке с двумя предметными переменными.
Аннотация: М. Рыбаков
From the Logical Point of View
семинар, ВШЭ, 16 сентября 2024 г.
— И. Пыльцын. Формализация парадокса неожиданной казни.
Аннотация: И. Пыльцын
Логический семинар лаборатории имени Ю.И.Манина
Высшая школа современной математики МФТИ
25 сентября 2024 г.
— М. Рыбаков. Неразрешимость QLC с двумя переменными.
Слайды: М. Рыбаков
2 октября 2024 г.
— М. Рыбаков. Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках.
Слайды: М. Рыбаков
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.