Логический семинар лаборатории им. Манина Высшей школы современной математики Когда: среда 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, Долгопрудный. Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт. #ВШМ_логический