Publication:4215610
From MaRDI portal
zbMath0915.03020MaRDI QIDQ4215610
Publication date: 5 July 1999
survey; modal logic; interpretability logic; arithmetical theories; extension of provability logic; principles of interpretability
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F30: First-order arithmetic and fragments
Related Items
HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY, EQUIVALENCES FOR TRUTH PREDICATES, Rules and arithmetics, The principles of interpretability, Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, MINIMAL TRUTH AND INTERPRETABILITY, Franco Montagna's work on provability logic and many-valued logic, A note on bisimulation and modal equivalence in provability logic and interpretability logic, 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, Faith \& falsity, The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\), Some notes on truths and comprehension, On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\), Reflecting rules: a note on generalizing the deduction theorem, Transductions in arithmetic, Pairs, sets and sequences in first-order theories, Interpretability in PRA, Lewis meets Brouwer: constructive strict implication, A short note on essentially \(\Sigma_1\) sentences, Interpretability suprema in Peano arithmetic, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\), The Closed Fragment of IL is PSPACE Hard, What is Absolute Undecidability?†, Kripke Models Built from Models of Arithmetic
