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

Когда: среда 19 ноября, 15:00 (ВРЕМЯ НЕОБЫЧНОЕ)
Где: ОНЛАЙН https://telemost.yandex.ru/j/00084330909943
можно подключиться самостоятельно, или подойти в 322АдмК

Доклад:

Д.П.Шкатов (Университет Йоханнесбурга, ЮАР),
"Введение в семантику первопорядковых модальных логик - часть 3"

Третий доклад из серии, основанной на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с В.Б.Шехтманом летом 2025 года в рамках ESSLLI 2025. Будут изложены некоторые методы доказательства полноты по Крипке неканонических логик и представлено краткое введение в семантику пучков Крипке.


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

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

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

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