Никита Лукашов//Проективность и свойство расширения для логики GL
Автор: Логика в Москве
Загружено: 2025-10-17
Просмотров: 88
НИС "Современные проблемы математической логики" в ВШЭ.Дата и время: 17.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL
Докладчик: Никита Лукашов
Аннотация:
В своём докладе я расскажу результаты С. Гилярди о семантической характеризации проективных формул для некоторых модальных логик на примере конкретной модальной логики доказуемости GL. В частности, я постараюсь полностью привести доказательство того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Этот результат оказался полезным, во-первых, для решения проблемы унификации в популярных модальных логиках, таких как K4, S4, GL,… — все они имеют конечный тип (Гилярди, 2000 г.); во-вторых, семантическая характеристика проективных формул послужила основой для получения Э. Ержабеком (2005 г.) явного базиса допустимых правил вывода в этих логиках.
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
