Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 18 марта, 14:15
Где: Дистанционно, с трансляцией в ауд.322АдмК

Доклад:

Илья Шапировский,
"О локально конечных полимодальных логиках"

Логика L локально конечна (или иначе - локально таблична), если для каждого конечного числа переменных имеется лишь конечное число неэквивалентных в L формул. В алгебраических терминах это значит, что локально конечно многообразие алгебр логики L. Это достаточно сильное свойство, из которого в частности следует, что логика L, как и все её расширения, является финитно аппроксимируемой.

Я дам обзор классических результатов о локальной табличности модальных логик (таких, как критерий Сегерберга и Максимовой для транзитивного случая) и некоторых их обобщений, а также расскажу о более поздних и совсем недавних продвижениях в этом направлении: я приведу критерий, основанный на разбиениях кластеров и необходимое условие сокращаемости пути (совместно с В.Б. Шехтманом, 2016); критерий локальной конечности произведений модальных логик (совместно с В. В. Слюсаревым, 2023); кластерный критерий свойства конечной модальной глубины (2025).


Планируется интернет-трансляция по адресу:
https://us02web.zoom.us/j/989935821
Meeting ID: 989 935 821
Passcode: AyEx
Регистрируйтесь вашей фамилией, а не псевдонимом!

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

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

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