scientific article
From MaRDI portal
Publication:3900021
zbMath0453.03018MaRDI QIDQ3900021
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
diagonalizationinterpolation theoremprovability interpretation of modal logicexplicit definability of fixed points
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)
Related Items (18)
Effectively constructible fixed points in Sacchetti's modal logics of provability ⋮ The Henkin Sentence ⋮ Generic generalized Rosser fixed points ⋮ A proof theory for the logic of provability in true arithmetic ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ A modal sequent calculus for a fragment of arithmetic ⋮ The fixed point property in modal logic ⋮ On arithmetical first-order theories allowing encoding and decoding of lists ⋮ Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ Amalgamation and interpolation in normal modal logics ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ Modal characterisation theorems over special classes of frames ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ Provability logic without Craig's interpolation property ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ The modal logic of provability. The sequential approach ⋮ Interpolation properties for Sacchetti's logics
This page was built for publication:
