Modal analysis of generalized rosser sentences

DOI10.2307/2273663zbMath0543.03010MaRDI QIDQ3331198

Vítězslav Švejdar

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273663

zbMATH Keywords

Kripke semantics; interpretability; modal logics; arithmetical interpretations; Guaspari witness comparison signs; Rosser fixed-point

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F30: First-order arithmetic and fragments

Related Items

An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency, The principles of interpretability, Franco Montagna's work on provability logic and many-valued logic, On the provability logic of bounded arithmetic, Faith \& falsity, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, The logic of \(\Pi_ 1\)-conservativity, Some independence results in interpretability logic, Explicit fixed points in interpretability logic, The formalization of interpretability, A course on bimodal provability logic, Uniform density in Lindenbaum algebras, A generalization of the second incompleteness theorem and some exceptions to it, No escape from Vardanyan's theorem, Petr Hájek: A Scientific Biography, Cuts, consistency statements and interpretations, Provability in finite subtheories of PA and relative interpretability: a modal investigation

Cites Work

• Rosser sentences
• Unnamed Item
• Unnamed Item