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