Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей.
##plugins.themes.bootstrap3.article.sidebar##
Published:
31.10.2001
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Rybakov M. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 155-167.
Issue
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.
Рыбаков М.Н., Чагров А.В. Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 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.