А уже завтра состоится очередной семинар по математической логике.

Когда и где: среда 11 декабря, 14:30, ауд. РТ 113

Докладчик: Валентин Шехтман (ВШМ)

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

Аннотация:

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

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


Заседание семинара по математической логике состоится в ауд. РТ 113 (Институтский пер., 9, стр. 1, Долгопрудный). Участникам без пропусков МФТИ рекомендуется подойти к Радиотехническому корпусу в 14:15. Не забудьте захватить паспорт!

Сртаница семинара: https://www.mathnet.ru/rus/conf2559

#ВШМ_логический