The modal logic of Gödel sentences
From MaRDI portal
Publication:600852
DOI10.1007/S10992-010-9140-8zbMATH Open1205.03066OpenAlexW2062465840MaRDI QIDQ600852FDOQ600852
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
Recommendations
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some theorems about the sentential calculi of Lewis and Heyting
- Provability interpretations of modal logic
- Title not available (Why is that?)
- Some relational systems and the associated topological spaces
- Arithmetical necessity, provability and intuitionistic logic
- Logics of essence and accident
- Title not available (Why is that?)
Cited In (13)
- A proof theory for the logic of provability in true arithmetic
- On the classification of first order Gödel logics
- Undecidability of the elementary theory of the semilattice of GLP-words
- Epistemic theories and the interpretation of Gödel's incompleteness theorems
- Title not available (Why is that?)
- Addendum to ``Sloman's view of Gödel's sentence
- The modified Ramsey theorem is not a Gödel sentence
- What's so special about the Gödel sentence \(\mathcal{G}\)?
- Constructive truth and falsity in Peano arithmetic
- An incomplete system of modal logic
- Gödel Homomorphisms as Gödel Modal Operators
- There may be many arithmetical Gödel sentences
- On Godel Sentences and What They Say
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)
