A smart child of Peano's

DOI10.1305/ndjfl/1094061859zbMath0815.03011OpenAlexW1972536043MaRDI QIDQ1344434

V. Yu. Shavrukov

Publication date: 2 July 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1094061859

zbMATH Keywords

necessitationprovability logic

Mathematics Subject Classification ID

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

Related Items

Franco Montagna's work on provability logic and many-valued logic, The Henkin Sentence, Interpretability suprema in Peano arithmetic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Rosser provability and normal modal logics, Lewis meets Brouwer: constructive strict implication, 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, Uniform density in Lindenbaum algebras, SELF-REFERENCE IN ARITHMETIC II