group-telegram.com/msu_mathlog/177
Last Update:
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
BY Кафедра математической логики и теории алгоритмов мехмата МГУ
Warning: Undefined variable $i in /var/www/group-telegram/post.php on line 260
Share with your friend now:
group-telegram.com/msu_mathlog/177