group-telegram.com/msu_mathlog/135
Last Update:
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
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/135