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

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

Доклад:

Андрей Кудинов,
"Окрестностная полнота некоторых модальных предикатных логик"

Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.


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

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

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

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