scientific article; zbMATH DE number 2196596
From MaRDI portal
Publication:5465446
zbMath1082.03019MaRDI QIDQ5465446
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (17)
Hybrid extensions of the minimal logic ⋮ Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ The projective Beth property in well-composed logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Classification of extensions of the modal logic S4 ⋮ Interpolation and definability over the logic Gl ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Definability and interpolation in non-classical logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4
This page was built for publication:
