The modal logic of Gödel sentences

DOI10.1007/S10992-010-9140-8MaRDI QIDQ600852zbMATHOpenAlexFDO

Authors Hirohiko Kushida

Publication date 3 November 2010

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-010-9140-8

zbMATH Keywords

modal logicPeano arithmeticprovability logicincompleteness theoremsGödel sentence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• A proof theory for the logic of provability in true arithmetic
• The Logic of Provability
• Provability and modal logic
• Provability: The emergence of a mathematical modality
• Self-reference and modal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 6287581 (Why is no real title available?)
• Arithmetical necessity, provability and intuitionistic logic
• Logics of essence and accident
• Provability interpretations of modal logic
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(13)

• Addendum to ``Sloman's view of Gödel's sentence
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• Constructive truth and falsity in Peano arithmetic
• On the classification of first order Gödel logics
• Gödel Homomorphisms as Gödel Modal Operators
• Undecidability of the elementary theory of the semilattice of GLP-words
• There may be many arithmetical Gödel sentences
• The modified Ramsey theorem is not a Gödel sentence
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• A proof theory for the logic of provability in true arithmetic
• scientific article; zbMATH DE number 2020141 (Why is no real title available?)
• On Godel Sentences and What They Say
• An incomplete system of modal logic

This page was built for publication: The modal logic of Gödel sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600852)