Доклад Кирилла Копнева "Окрестностная семантика: полнота и финитная аппроксимируемость"
16 июня в 16.20 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Кирилл Копнев
выступит с докладом:
"Окрестностная семантика: полнота и финитная аппроксимируемость"
Аннотация:
Доклад будет посвящен рассмотрению окрестностной семантики.
Окрестностная семантика была сформулирована в 1970-х годах и на данный момент представляет собой плодотворную область для исследования.
Характерной особенностью окрестностной семантики является свойство полноты некоторых "не-нормальных логик", то есть логик, "слабее" известной логики K.
Благодаря этой особенности, окрестностная семантика дает больше возможностей для моделирования рассуждений или процессов, нежели реляционная семантика (или семантика Крипке).
В рамках доклада планируется:
1) Дать определение окрестностной семантики;
2) Рассмотреть некоторые не-нормальные модальные логики;
3) Рассмотреть результаты о полноте и финитной аппроксимируемости этих логик, опираясь на исследования Дэвида Льюиса, Тимоти Сюрендонка, а также докладчика.
Zoom
Идентификатор конференции: 951 6621 6579
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru