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

(19)

• Interpolation properties of superintuitionistic logics
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• The fixed point property in modal logic
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Preservation of Craig interpolation by the product of matrix logics
• On interpolation in NEXT(KB.Alt(2))
• Maksimova, relevance and the study of lattices of non-classical logics
• Decidability of some interpolation properties for weakly transitive modal logics
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Uniform guarded fragments
• Craig interpolation property in -bundled fragment of first-order modal logic
• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
• Existential and positive games: a comonadic and axiomatic view
• Modal separation of fixpoint formulae
• The complexity of defining and separating fixpoint formulae in modal logic
• Uniform Lyndon interpolation property in propositional modal logics
• Common knowledge does not have the Beth property

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)