Опубликована статья Виталия Долгорукова

В журнале «‎Логические исследования»‎ опубликована статья Виталия Долгорукова «‎Альтернативы семантике Крипке для эпистемической логики»‎.

Аннотация. 
В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для анализа эпистемических сценариев: присутствие в модели возможных миров, неразличимых никакой формулой; комбинаторный взрыв (экспоненциальный рост множества возможных миров при линейном усложнении сценария); гиперспецификация предлагаемой моделью первоначального эпистемического сценария. Рассматриваются альтернативные варианты построения эпистемической логики, которые стремятся преодолеть данные затруднения: семантика структур знания и синтаксическая эпистемическая логика, также предлагается подход к построению диаграмматической эпистемической логики.

 

Долгоруков В. В. Альтернативы семантике Крипке для эпистемической логики // Логические исследования / Logical Investigations. 2024. Т. 30. № 1. C. 62-85.