Modal analysis of generalized rosser sentences
From MaRDI portal
Publication:3331198
DOI10.2307/2273663zbMath0543.03010OpenAlexW1968570420MaRDI 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 semanticsinterpretabilitymodal logicsarithmetical interpretationsGuaspari witness comparison signsRosser fixed-point
Related Items
Franco Montagna's work on provability logic and many-valued logic, A course on bimodal provability logic, Provability in finite subtheories of PA and relative interpretability: a modal investigation, Petr Hájek: A Scientific Biography, Bisimulations and bisimulation games between Verbrugge models, Explicit fixed points in interpretability logic, The formalization of interpretability, On the provability logic of bounded arithmetic, Uniform density in Lindenbaum algebras, The principles of interpretability, Faith \& falsity, A generalization of the second incompleteness theorem and some exceptions to it, No escape from Vardanyan's theorem, 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, An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency, Some independence results in interpretability logic, Cuts, consistency statements and interpretations
Cites Work
