scientific article; zbMATH DE number 859796

MaRDI QIDQ4870568zbMATH OpenFDO

Authors Judit Madarász

Publication date 16 July 1996

zbMATH Keywords

interpolationmulti-modal logics

Mathematics Subject Classification ID

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

Recommendations

• Interpolation and amalgamation; pushing the limits. I
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• On the interpolation property of some intuitionistic modal logics

Cited in

(14)

• On algebraisation of superintuitionistic predicate logics
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• An interpolation theorem in many-valued logic
• Amalgamation and interpolation in normal modal logics
• Maksimova, relevance and the study of lattices of non-classical logics
• Craig interpolation theorem for classical propositional logic with some probability operators
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• Algebraic characterization of the local Craig interpolation property
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Modularity results for interpolation, amalgamation and superamalgamation
• The Craig interpolation theorem for propositional logics with strong negation
• Interpolation and amalgamation; pushing the limits. I
• scientific article; zbMATH DE number 4047686 (Why is no real title available?)
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal 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 Q4870568)