scientific article; zbMATH DE number 1215499
From MaRDI portal
Publication:4215636
zbMath0915.03019MaRDI QIDQ4215636
Giorgi Japaridze, Dick H. J. de Jongh
Publication date: 5 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicinterpretability logicpredicate provability logicnonarithmeticityde Jongh-Sambin fixed-point theoremMagari algebraspropositional provability logicprovability in arithmeticSolovay's arithmetic completeness theoremstolerance logic
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 (31)
The Henkin Sentence ⋮ Liar-type paradoxes and the incompleteness phenomena ⋮ Binary modal companions for subintuitionistic logics ⋮ Extension and interpretability ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ Modal completeness of sublogics of the interpretability logic IL ⋮ Some observations on the FGH theorem ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Topological Semantics of Justification Logic ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ Transductions in arithmetic ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Provability and interpretability logics with restricted realizations ⋮ Reflection calculus and conservativity spectra ⋮ Mathematical modal logic: A view of its evolution ⋮ Semantic limits of dense combinatorial objects ⋮ PROVING UNPROVABILITY ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ The modal logic of forcing ⋮ From truth to computability. I. ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ The Closed Fragment of IL is PSPACE Hard ⋮ A modal logic internalizing normal proofs ⋮ Interpretability in PRA ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) ⋮ On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ The arithmetics of a theory
This page was built for publication:
