Incompleteness and Fixed Points

Mathematical Logic Quarterly 48 (1):15-28 (2002)
  Copy   BIBTEX

Abstract

Our purpose is to present some connections between modal incompleteness andmodal logics related to the Gödel-Löb logic GL. One of our goals is to prove that for all m, n, k, l ∈ ℕ the logic K + equation image□i □jp ↔ p) → equation image□ip is incomplete and does not have the fixed point property. As a consequence we shall obtain that the Boolos logic KH does not have the fixed point property

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
An intensional fixed point theory over first order arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Diagonalization and Self-Reference.Raymond Merrill Smullyan - 1994 - Oxford, England: Clarendon Press.
On Non-wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
A theory of truth that prefers falsehood.Melvin Fitting - 1997 - Journal of Philosophical Logic 26 (5):477-500.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.

Analytics

Added to PP
2013-12-01

Downloads
15 (#700,242)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An incomplete system of modal logic.George Boolos & Giovanni Sambin - 1985 - Journal of Philosophical Logic 14 (4):351 - 358.
Magari's theorem via the recession frame.M. J. Cresswell - 1987 - Journal of Philosophical Logic 16 (1):13 - 15.
Some descending chains of incomplete modal logics.Ming Xu - 1991 - Journal of Philosophical Logic 20 (3):265 - 283.

Add more references