#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 3 июня в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com

Докладчик: В.Б. Шехтман

Название: Введение в семантику модальных предикатных логик, ч. 5.

Аннотация.
В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.