Incompleteness and Fixed Points
Mathematical Logic Quarterly 48 (1):15-28 (2002)
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 propertyDOI
10.1002/1521-3870(200201)48:1
My notes
Similar books and articles
A universal approach to self-referential paradoxes, incompleteness and fixed points.Noson S. Yanofsky - 2003 - Bulletin of Symbolic Logic 9 (3):362-386.
Undecidability, incompleteness and Arnold Problems.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1).
Undecidability, Incompleteness and Arnol'D Problems.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1):23 - 32.
Undecidability, incompleteness and Arnol'd problems.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1):23-32.
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.
Estimation of fixed points for nonlinear time series.Shapour Mohammadi & Hossein Abbasinezhad - 2014 - Complexity 19 (5):30-39.
A theory of truth that prefers falsehood.Melvin Fitting - 1997 - Journal of Philosophical Logic 26 (5):477-500.
On the relationship between fixed points and iteration in admissible set theory without foundation.Dieter Probst - 2005 - Archive for Mathematical Logic 44 (5):561-580.
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)
2013-12-01
Downloads
15 (#700,242)
6 months
1 (#450,425)
Historical graph of downloads
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.
