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

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

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту 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

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

Докладчик: Стас Кикоть

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

В докладе рассматриваются нормальные модальные логики элементарных классов, определяемых формулами первого порядка вида ∀x0 ∃x1 · · · ∃xn C, где C - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.

➰ ВК