Liar-type paradoxes and the incompleteness phenomena
From MaRDI portal
Publication:312496
DOI10.1007/s10992-015-9378-2zbMath1350.03019OpenAlexW841865027MaRDI QIDQ312496
Taishi Kurahashi, Makoto Kikuchi
Publication date: 15 September 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-015-9378-2
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Gödelizing the Yablo sequence
- Rosser-type undecidable sentences based on Yablo's paradox
- The predicate modal logic of provability
- Provability interpretations of modal logic
- On formalization of model-theoretic proofs of Gödel's theorems
- Heterologicality and Incompleteness
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
- The Surprise Examination Paradox and the Second Incompleteness Theorem
- Finite Kripke models and predicate logics of provability
- A Note on Boolos' Proof of the Incompleteness Theorem
- Yablo's paradox
- Paradox without Self-Reference
- Information-Theoretic Limitations of Formal Systems
