• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

Доклад Кирилла Копнева "Окрестностная семантика: полнота и финитная аппроксимируемость"

16+
Мероприятие завершено

16 июня в 16.20 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.

Кирилл Копнев 

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

"Окрестностная семантика: полнота и финитная аппроксимируемость"

 

Аннотация: 

Доклад будет посвящен рассмотрению окрестностной семантики.

Окрестностная семантика была сформулирована в 1970-х годах и на данный момент представляет собой плодотворную область для исследования.

Характерной особенностью окрестностной семантики является свойство полноты некоторых "не-нормальных логик", то есть логик, "слабее" известной логики K.

Благодаря этой особенности, окрестностная семантика дает больше возможностей для моделирования рассуждений или процессов, нежели реляционная семантика (или семантика Крипке).

В рамках доклада планируется:

1) Дать определение окрестностной семантики;

2) Рассмотреть некоторые не-нормальные модальные логики;

3) Рассмотреть результаты о полноте и финитной аппроксимируемости этих логик, опираясь на исследования Дэвида Льюиса, Тимоти Сюрендонка, а также докладчика.

 



Zoom
Идентификатор конференции: 951 6621 6579
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru