Доклад Константина Шишова "Динамическая эпистемическая логика как субструктурная логика"
25 февраля в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Константин Шишов
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Динамическая эпистемическая логика как субструктурная логика"
Аннотация:
Динамическая эпистемическая логика (DEL) является логической системой для рассуждений о динамике знания и убеждения. Общеизвестно представление динамической эпистемической логики в качестве семейства модальных логик, язык которых расширен модальными операторами, описывающих изменения знания.
В данном докладе предлагается рассмотреть подход, представленный в статье G. Aucher “Dynamic Epistemic Logic as a Substructural Logic”, состоящий в отождествлении логики DEL с двухсортной субструктурной логикой (исчисление Ламбека), семантика которой снабжена тернарным отношением, интерпретируемом в качестве отношения обновления информации.
Zoom
Идентификатор конференции: 956 6971 8556
При возникновении вопросов пишите по адресу llfp@hse.ru