#матлог #учёба #спецсеминар

27 мая 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Л. Д. Беклемишев

Пространства Плотта и монотонная логика Гёделя–Лёба

Аннотация:
В. И. Данилов обнаружил связь между топологической семантикой логики Гёделя–Лёба и структурами, возникшими в 1960-х годах в теории рационального выбора, так называемыми функциями выбора Плотта. В дальнейшем оказалось, что фактически в этой теории речь идет об окрестностных моделях субнормальной модальной логики mGL, которая расширяет логику высказываний правилом монотонности (из A→B выводится □A→□B) и стандартной аксиомой Лёба. В докладе будет рассказано о свойствах этой логики, её моделях, связи с функциями выбора и о других результатах в этом направлении, полученных в последнее время — вместе и по отдельности — В. И. Даниловым, Д. С. Шамкановым, Д. Трофимовым и докладчиком.