|
|
Логический семинар лаборатории им. Манина
26 февраля 2025 г. 14:00–15:30, г. Москва, МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный
|
 |
|
 |
|
математическая логика
|
|
|
Полупроизведения модальных логик
В. Б. Шехтман
Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный
|
|
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
|
|
Обратная связь: