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

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

Семинар пройдет в среду 22 октября в 14:00.

Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.

Докладчики: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)

Название: Введение в семантику первопорядковых модальных логик

Аннотация.

Будут разъяснены основные понятия семантики Крипке для предикатных модальных логик. Предполагается знакомство слушателей с пропозициональными модальными логиками, хотя основные понятия, касающиеся этих логик, будут кратко напомнены.

➰ ВК