Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики.

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

A.V. Chagrov

Abstract

The main results: solving the old algorithmic problem s o f tabularity and coincidence o f normal modal logics with given tabular logic. The problem o f tabularity is undecidable; the problem o f coinciting is decidable only when given tabular logic is inconsistent. There are other results; open problem s are discussed.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1986.
Максимова Л.Л. Предтабличные расширения логики S4 Льюиса // Алгебра и логика. 1975. Т. 14. № 1. С. 28-55.
Чагров А.В. Неразрешимые свойства логики доказуемости // Алгебра и логика. 1990. Т. 29. № 3. С. 350-367.
Чагров А.В. Неразрешимые свойства логики доказуемости. II// Алгебра и логика. 1990. Т. 29. № 5. С. 613-623.
Чагров А.В. Неразрешимые свойства суперинтуиционистских логик // Математические вопросы кибернетики. М.: Физматлит, 1994. Вып. 5. С. 62-108.
Blok V.J. Pretabular varieties of modal algebras 11 Studia Logica. 1980. V.39. No. 2/3. P. 101-124.
Chagrov A. V. A first-order effect and modal propositional formulas // Andrea Cantini, etc. (Eds.) Logic and Foundation of Mathematics. Kluwer Academic Publishers, 1999. P. 209-217.
Chagrov A.V., Shehtman V.B. Algorithmic aspects of tense logics // L.Pacholski, J.Tiuryn. (Eds.) Computer Science Logic, CSL 94. Springer, Lecture Notes in Computer Science. 1995. V. 933. P. 442-455.
Chagrov A.V.. Zakharyaschev M. Modal Logic // Oxford University Press, 1997.603 р.
Esakia L.L., Meskhi V. Yu. Five critical systems // Theoria. Vol. 40. P. 52-60.
Makinson D.C. Some embedding theorems for modal logic // Notre Dame J. Form. Log. 1977. Vol. 12. P. 252-254.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>