#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 11 декабря.
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту (kudinov.andrey@gmail.com) заранее.

Заседание пройдет очно без трансляции.

Докладчик: Валентин Борисович Шехтман

Название: Квадраты Сегерберга модальных логик

Аннотация.

В работе 1973 г. Кристер Сегерберг ввел 2-мерную модальную логику B, эквивалентную фрагменту классической логики предикатов с 2 переменными. Для нее он построил конечную аксиоматику и доказал финитную аппроксимируемость. Обобщения этой логики (квадраты Сегерберга) рассматривались докладчиком в статьях 2011-2012 и 2018 гг. Квадраты Сегерберга во многих случаях погружаются в классическую логику предикатов с 3 переменными, и для них также удалось доказать конечную аксиоматизируемость и финитную аппроксимируемость. В доказательствах использовались логические игры.

В докладе будет дан обзор известных на сегодня результатов и открытых проблем о квадратах Сегерберга.

➰ ВК