Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей.

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

M.N. Rybakov

Abstract

The question about recursive enumerability of modal predicate logics defined by non first-order definable classes of Kripke frames is considered. It is proved that logics of classes of frames without infinite ascending chains are not recursively enumerable.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Крите С. Неразрешимость одноместного модального исчисления предикатов // Фейс Р. Модальная логика. М.: Наука, 1974. С. 247-253.

Рыбаков М.Н., Чагров А.В. Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 2000. Вып. XIV. С. 81-98.

ChagrovA., Zakharyaschev М. Modal Logic. Oxford University Press, 1997.

Montagna F. The Predicate Modal Logic of Provability // Notre Dame Journal of Formal Logic. 1984. Vol. 25. N 2. P. 179-189. '

Urquhart A. The Undecidability of Entailment and Relevant Implication // The Journal of Symbolic Logic. 1984. Vol. 49. N 4. P. 1059-1073.

WolterF., Zakharyaschev M. Decidable Fragments of First-Order Modal Logics // The Journal of Symbolic Logic. To appear.