Семантика первопорядковой динамической логики знания
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2009
##plugins.themes.bootstrap3.article.main##
Abstract
In the paper the semantics for $DK_{pr}$-logic (first order dynamic logic of knowledge) are proposed. In such semantics some intuitive properties of possible worlds semantics are used.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Lednikov E. Семантика первопорядковой динамической логики знания // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 129-136.
Issue
Section
Papers
References
Ледников Е.Е. Об одном варианте динамической логики знания // Логические исследования. Вып. 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.