scientific article; zbMATH DE number 3368607
From MaRDI portal
zbMath0233.02009MaRDI QIDQ5641128
Publication date: 1972
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
An analog of Beth's theorem in normal extensions of the modal logic K4, A note on constructive interpolation for the multi-modal logic \(K_m\), Interpolation properties of superintuitionistic logics, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Uniform guarded fragments, Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras, The fixed point property in modal logic, Preservation of Craig interpolation by the product of matrix logics, On interpolation in NEXT(KB.Alt(2)), Common knowledge does not have the Beth property, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras, Uniform Lyndon interpolation property in propositional modal logics
