Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 15 апреля, 14:15
Где: МФТИ, Административный корпус, ауд.322,

Доклад:

Елена Попова,
"Семантика логики свидетельств первого порядка со связывающей модальностью"

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


Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страница семинара: https://www.mathnet.ru/rus/conf2559

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_логический