scientific article; zbMATH DE number 1215477
From MaRDI portal
Publication:4215610
zbMath0915.03020MaRDI QIDQ4215610
Publication date: 5 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveymodal logicinterpretability logicarithmetical theoriesextension of provability logicprinciples of interpretability
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30)
Related Items
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ On modal logics of model-theoretic relations ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Kripke Models Built from Models of Arithmetic ⋮ A note on bisimulation and modal equivalence in provability logic and interpretability logic ⋮ Hard provability logics ⋮ Interpretability suprema in Peano arithmetic ⋮ On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) ⋮ 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 ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ Transductions in arithmetic ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ Bisimulations between Verbrugge models and Veltman models ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Provability and interpretability logics with restricted realizations ⋮ Weak theories of concatenation and arithmetic ⋮ Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) ⋮ The de Jongh property for basic arithmetic ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ Pairs, sets and sequences in first-order theories ⋮ Rules and arithmetics ⋮ The principles of interpretability ⋮ Faith \& falsity ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ Some notes on truths and comprehension ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Logic in the Land of Make-Believe ⋮ The Closed Fragment of IL is PSPACE Hard ⋮ Interpretability in PRA ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) ⋮ MINIMAL TRUTH AND INTERPRETABILITY ⋮ What is Absolute Undecidability?† ⋮ EQUIVALENCES FOR TRUTH PREDICATES
