Модальная версия II теоремы Гёделя о неполноте и система Маккинси.
Article Sidebar
Опубликован:
03.10.2002
Main Article Content
Аннотация
We are going to discuss certain systems (K4.G and K4.Grz) of modal logic that are of special interest in connection with the study of the notions of provability in Peano Arithmetic. K4.G (respectively, K4.Grz) is the result of adjoint a modal version G of the second incompleteness theorem (respectively, the formula Grz) to the modal system K4.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Эсакиа Л. Модальная версия II теоремы Гёделя о неполноте и система Маккинси. // Логические исследования / Logical Investigations. 2002. Т. 9. C. 292-300.
Выпуск
Раздел
Статьи
Литература
Boolos G. On systems of modal logic with provability interpretations I Theoria. 1980. Vol. 46. P. 7-18
Boolos G. The Logic of Provability. Cambridge: Cambridge University Press, 1993.
Grzegorczyk A. Some relations systems and the associated topological spaces // Fund.Math. 1967. Vol 60. P. 223-231.
Godel K. Eine Interpretation intuitionishen Aussagenkalkulus // Ergebnisse eines mathematischen Kolloqiums. 1933. Bd. S. 39-40.
McKinsey J.C. On the syntactical construction of systems of Modal logic // Journal of Symbolic Logic. 1945. Vol. P. 83-94.
Prior A. Past, Present and Future. Oxford: Clarendon Press, 1967.
Segerberg K. Decidability of S4.1 /7 Theoria. 1968. Vol. 34. P. 1-15.
Smorinski C. Self-Reference and Modal Logic. Berlin: Springer-Verlag, 1985.
Smullyan R. Forever Undecided. Oxford: Oxford University Press, 1988. lO.Solovay R.M. Provability interpretations of modal logic 11 Israel Journal of Mathematics. 1976. Vol. 25. P. 287-304.
ЭсакиаЛ. К теории модальных и суперинтуиционисткюс систем //Логический вывод. М.: Наука, 1979.
Эсакиа Л . Слабая транзитивность - реституция // Логические исследования. Вып. 8. М.: Наука, 2001. С. 244-255.
Boolos G. The Logic of Provability. Cambridge: Cambridge University Press, 1993.
Grzegorczyk A. Some relations systems and the associated topological spaces // Fund.Math. 1967. Vol 60. P. 223-231.
Godel K. Eine Interpretation intuitionishen Aussagenkalkulus // Ergebnisse eines mathematischen Kolloqiums. 1933. Bd. S. 39-40.
McKinsey J.C. On the syntactical construction of systems of Modal logic // Journal of Symbolic Logic. 1945. Vol. P. 83-94.
Prior A. Past, Present and Future. Oxford: Clarendon Press, 1967.
Segerberg K. Decidability of S4.1 /7 Theoria. 1968. Vol. 34. P. 1-15.
Smorinski C. Self-Reference and Modal Logic. Berlin: Springer-Verlag, 1985.
Smullyan R. Forever Undecided. Oxford: Oxford University Press, 1988. lO.Solovay R.M. Provability interpretations of modal logic 11 Israel Journal of Mathematics. 1976. Vol. 25. P. 287-304.
ЭсакиаЛ. К теории модальных и суперинтуиционисткюс систем //Логический вывод. М.: Наука, 1979.
Эсакиа Л . Слабая транзитивность - реституция // Логические исследования. Вып. 8. М.: Наука, 2001. С. 244-255.