scientific article; zbMATH DE number 3368607

zbMATH Open0233.02009MaRDI QIDQ5641128FDOQ5641128

Authors: Dov Gabbay 

Publication date: 1972

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cited In (14)

• The fixed point property in modal logic
• 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
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• Uniform guarded fragments
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Preservation of Craig interpolation by the product of matrix logics
• Decidability of some interpolation properties for weakly transitive modal logics
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Uniform Lyndon interpolation property in propositional modal logics
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation properties of superintuitionistic logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5641128)