Peano's smart children: A provability logical study of systems with built-in consistency
From MaRDI portal
Publication:1262309
DOI10.1305/ndjfl/1093635077zbMath0686.03033OpenAlexW2086963079MaRDI QIDQ1262309
Publication date: 1989
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635077
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) First-order arithmetic and fragments (03F30)
Related Items
Franco Montagna's work on provability logic and many-valued logic, The Henkin Sentence, Arithmetic analogues of McAloon's unique Rosser sentences, Interpretability suprema in Peano arithmetic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Rosser provability and normal modal logics, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, Transductions in arithmetic, Bimodal logics for extensions of arithmetical theories, Arithmetical completeness theorem for modal logic \(\mathsf{K}\), Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations, PROVING UNPROVABILITY, Uniform density in Lindenbaum algebras, SELF-REFERENCE IN ARITHMETIC II
