Об одном варианте динамической логики знания
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Lednikov E. Об одном варианте динамической логики знания // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 14. C. 218-223.
Issue
Section
Papers
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.
Костюк В.Н. Элементы модальной логики. Киев: Наукова Думка, 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.