The modal logic of Gödel sentences

DOI10.1007/s10992-010-9140-8zbMath1205.03066OpenAlexW2062465840MaRDI QIDQ600852

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)

Related Items (1)

A proof theory for the logic of provability in true arithmetic

Cites Work

• Provability interpretations of modal logic
• Arithmetical necessity, provability and intuitionistic logic
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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