Семантика первопорядковой динамической логики знания
Article Sidebar
Published:
30.11.2009
Main Article Content
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.
Downloads
Download data is not yet available.
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.