Логическая семантика: "Схема Скотта-Леммона"

Елена Попова

стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии

выступит с докладом:

"Схема Скотта-Леммона"

Аннотация:

Научно-учебный семинар будет посвящен схеме Скотта-Леммона, которая устанавливает соответствие между аксиомами и условиями ограничения на отношение достижимости. Несмотря на то, что существует ряд условий ограничения на отношение достижимости, которые не соответствуют никаким аксиомам, благодаря схеме Скотта-Леммона это удается сделать для аксиом общего вида:

◊^k□^lp → □^m◊ⁿp

Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу elpopova@hse.ru