Modal analysis of generalized rosser sentences
From MaRDI portal
Publication:3331198
DOI10.2307/2273663zbMath0543.03010MaRDI QIDQ3331198
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
Kripke semantics; interpretability; modal logics; arithmetical interpretations; Guaspari witness comparison signs; Rosser fixed-point
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, 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