#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 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.

➰ ВК