Доклад Виталия Долгорукова «"Структуры знания": альтернативная семантика для эпистемической логики»
Мероприятие завершено
3 февраля в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View".
Виталий Долгоруков
Заместитель заведующего МЛ ЛогЛинФФ
выступит с докладом:
«"Структуры знания": альтернативная семантика для эпистемической логики»
Аннотация:
Доклад будет посвящен обзору семантики «структур знания», предложенной в диссертации М. Гаттингера (2018). Данный тип семантики позволяет представлять эпистемические сценарии более лаконичным образом по сравнению с традиционной семантикой Крипке, что делает эпистемическую логику более удобной для приложений.
Литература:
Дата
3 февраля
18:30
В статье упомянуты