The logic of \(\Pi_ 1\)-conservativity continued
From MaRDI portal
Publication:1311428
DOI10.1007/BF01270395zbMath0790.03018MaRDI QIDQ1311428
Publication date: 22 June 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01270395
interpretability logic; arithmetical completeness theorem; witness comparisons; logic of \(\Pi_ 1\)-conservativity; Montagna's principle; propositional modal logic IRM
03B45: Modal logic (including the logic of norms)
Related Items
Reflection calculus and conservativity spectra, Franco Montagna's work on provability logic and many-valued logic, Provability and interpretability logics with restricted realizations, Transductions in arithmetic, Obituary: Franco Montagna (1948--2015), A short note on essentially \(\Sigma_1\) sentences, On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
Cites Work