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

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

‼Важно ‼ Если у вас нет пропуска в МФТИ, то нужно до обеда 21 января (вторник) написать на почту kudinov.andrey@gmail.com, чтобы мы успели заказать пропуск. Пропускной режим ужесточился!

МФТИ, радиотехнический корпус, ауд. РТ 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

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

Докладчик: Михаил Рыбаков

Название:
Алгоритмическая выразительность модальных предикатных логик, определяемых неэлементарными классами шкал Крипке.

Аннотация.
Известно, что модальные предикатные логики элементарно определимых классов шкал Крипке являются рекурсивно перечислимыми, т.к. погружаются в классическую логику предикатов. В то же время, известно много примеров модальных предикатных логик, определяемых классами шкал Крипке, не являющимися элементарно определимыми, которые не являются рекурсивно перечислимыми. Возникает вопрос о существовании логик, которые (а) полны по Крипке, (б) не полны относительно элементарно определимых классов шкал Крипке и (в) рекурсивно перечислимы. В докладе будет показано, как построить пример такой логики.

➰ ВК