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

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

E.E. Lednikov

Abstract

In the paper the logic of knowledge, conviction, grounding, trust, belief, doubt and refuting are proposed. Such logic, named the dynamic logic of knowledge, ($L_{dyn}$-logic), is formulated in the axiomatic form and in the form of analytical tableaux. $L_{dyn}$-logic preserves intuitive properties of notions under discussion.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Кант И. Критика чистого разума. М., Мысль 1994. С. 481.
Костюк В.Н. Элементы модальной логики. Киев: Наукова Думка, 1978. С. 129-133.
Ледников Е.Е. Логика знания и родственных ему понятий // Логические исследования. М.: Наука, 2006. Вып. 13. С. 132-135.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. С. 38.
Платон. Менон // Собрание сочинений: В 4 т. Т. 1. М.: Мысль, 1990. С. 575-612.
Рассел Б. Исследование значения и истины. М.: «Идея-пресс», 1999. С. 19.
Fitting М. Model existence theorems for modal and intuitionistic logics // The journal of symbolic logic. V. 36, n. 4, Dec., 1973. P. 613-627.
Hintikka J. Knowledge and belief. Ithaca, 1962.