scientific article; zbMATH DE number 218514
From MaRDI portal
Publication:4694229
zbMath0793.03064MaRDI QIDQ4694229
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Related Items
Franco Montagna's work on provability logic and many-valued logic, A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic, A Fortuitous Year with Leon Henkin, A note on bisimulation and modal equivalence in provability logic and interpretability logic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Provability in finite subtheories of PA and relative interpretability: a modal investigation, Modal completeness of sublogics of the interpretability logic IL, Lewis meets Brouwer: constructive strict implication, Theory and application of labelling techniques for interpretability logics, Bisimulations and bisimulation games between Verbrugge models, TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES, The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}, Transductions in arithmetic, A short note on essentially \(\Sigma_1\) sentences, Provability and interpretability logics with restricted realizations, INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS, Proof Theoretic Analysis by Iterated Reflection, Pairs, sets and sequences in first-order theories, The unprovability of small inconsistency. A study of local and global interpretability, The principles of interpretability, The predicative Frege hierarchy, A generalization of the second incompleteness theorem and some exceptions to it, The Interpretation Existence Lemma, Interpretability in PRA, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\), The arithmetics of a theory
