Исчисление секвенций в модальной логике
Мероприятие завершено
22 апреля в 19:40 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.
Встреча продолжает серию семинаров, на которых мы изучаем введение в структурную теорию доказательств, и будет посвящена решению задач с помощью исчисления секвенций в модальной логике.
Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
Дата
22 апреля
19:40
Адрес
Ст. Басманная, 21/4, ауд. А-121
В статье упомянуты