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

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

Семинар пройдет в среду 15 апреля в 14:15.

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

Докладчик: Елена Попова

Название:
Семантика логики свидетельств первого порядка со связывающей модальностью.

Аннотация:
Доклад будет по совместной работе с Т.Л. Яворской.
Основная особенность логики свидетельств первого порядка заключается в возможности различать два типа утверждений:
“t есть доказательство формулы Ф(x) со свободной переменной x”;
“для конкретного значения x, t есть доказательство формулы Ф(x)”.
В языке модальной логики первого порядка аналогичное различие достигается посредством введения связывающей модальности. В докладе будет рассмотрена логика, объединяющая свидетельские термы и связывающие модальности. Мы определим модели Фиттинга для этой логики, позволяющие учитывать означивание переменных, а также приведем примеры явно построенных моделей. Будет сформулирована теорема о сильной полноте и представлена идея ее доказательства. Спецификой рассматриваемой логики является переопределённое понятие формулы, которое упрощает работу с семантикой.