scientific article; zbMATH DE number 3368607

MaRDI QIDQ5641128zbMATH OpenFDO

Authors Dov Gabbay

Publication date 1972

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\)
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Uniform guarded fragments
• 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)