Семантика первопорядковой динамической логики знания
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
семантика, модальность, интерпретация, модель, знание, убежденность, доказательство, вера, мнение, сомнение, опровержение
Main Article Content
Аннотация
В статье предложена семантика для $DK_{pr}$-логики (динамической логики знаний первого порядка). В такой семантике используются некоторые интуитивные свойства семантики возможных миров.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Ледников Е. Семантика первопорядковой динамической логики знания // Логические исследования / Logical Investigations. 2009. Т. 15. C. 129-136.
Выпуск
Раздел
Статьи
Литература
Ледников Е.Е. Об одном варианте динамической логики знания // Логические исследования. Вып. 14. М., 2007. С. 218-223.
Ледников Е.Е. Набросок первопорядковой кванторной динамической логики знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26-28 июня 2008 г. Санкт-Петербург, 2008. С. 287- 289.
Хинтикка Я. Семантика пропозициональных установок // Логико-эпистемологические исследования. М., 1980. С. 68-101.
Карнап Р. Значение и необходимость. М., 2000. С. 38-39.
Ледников Е.Е. Некоторые особенности первопорядковой кванторной логики знания и мнения // Логические исследования. Вып. 12. М., 2005. С. 207-210.
Ледников Е.Е. Набросок первопорядковой кванторной динамической логики знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26-28 июня 2008 г. Санкт-Петербург, 2008. С. 287- 289.
Хинтикка Я. Семантика пропозициональных установок // Логико-эпистемологические исследования. М., 1980. С. 68-101.
Карнап Р. Значение и необходимость. М., 2000. С. 38-39.
Ледников Е.Е. Некоторые особенности первопорядковой кванторной логики знания и мнения // Логические исследования. Вып. 12. М., 2005. С. 207-210.