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

Когда: среда 12 ноября, 14:00
Где: Адм. корпус, ауд.322.

Доклад:

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

Будут изложены основные идеи, на которых основываются доказательства полноты по Крипке для предикатных модальных логик. Будут приведены примеры канонических и неканонических, но полных по Крипке, логик.


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

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

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

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