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 (14)

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 ⋮ Rosser Orderings in Bimodal Logics

This page was built for publication: A smart child of Peano's