Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей.
Article Sidebar
Опубликован:
31.10.2001
Main Article Content
Аннотация
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.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Рыбаков М. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 155-167.
Выпуск
Раздел
Статьи
Литература
Крите С. Неразрешимость одноместного модального исчисления предикатов // Фейс Р. Модальная логика. М.: Наука, 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.