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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 6 ноября.
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

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

Название: Проблема полноты для модальных предикатных логик

Аннотация

Проблема семантической полноты для модальных логик предикатов оказалась очень нетривиальной. Естественная семантика Крипке применима лишь для ограниченного класса логик. Неизвестно, как ее модифицировать, чтобы все логики оказались полными. Однако в других семантиках дело обстоит несколько лучше. В докладе будет дан обзор некоторых результатов о полноте и неполноте модальных предикатных логик в различных семантиках.

➰ ВК