Доклад Виталия Долгорукова «"Структуры знания": альтернативная семантика для эпистемической логики»

3 февраля на научно-исследовательском семинаре «From the Logical Point of View» Виталий Долгоруков сделал доклад «"Структуры знания": альтернативная семантика для эпистемической логики»

Аннотация: 
Доклад будет посвящен обзору семантики «структур знания», предложенной в диссертации М. Гаттингера (2018). Данный тип семантики позволяет представлять эпистемические сценарии более лаконичным образом по сравнению с традиционной семантикой Крипке, что делает эпистемическую логику более удобной для приложений.