Peano's smart children: A provability logical study of systems with built-in consistency

DOI10.1305/NDJFL/1093635077zbMath0686.03033OpenAlexW2086963079MaRDI QIDQ1262309

Albert Visser

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

zbMATH Keywords

bimodal systemsarithmetic systems with built-in consistencyprovably extensional self- reference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) First-order arithmetic and fragments (03F30)

Related Items (14)

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

This page was built for publication: Peano's smart children: A provability logical study of systems with built-in consistency