Семантика первопорядковой динамической логики знания

##plugins.themes.bootstrap3.article.main##

E.E. Lednikov

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##

Section
Статьи

References

Ледников Е.Е. Об одном варианте динамической логики знания // Логические исследования. Вып. 14. М., 2007. С. 218-223.
Ледников Е.Е. Набросок первопорядковой кванторной динамической логики знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26-28 июня 2008 г. Санкт-Петербург, 2008. С. 287- 289.
Хинтикка Я. Семантика пропозициональных установок // Логико-эпистемологические исследования. М., 1980. С. 68-101.
Карнап Р. Значение и необходимость. М., 2000. С. 38-39.
Ледников Е.Е. Некоторые особенности первопорядковой кванторной логики знания и мнения // Логические исследования. Вып. 12. М., 2005. С. 207-210.