scientific article; zbMATH DE number 859796

zbMATH Open0841.03006MaRDI QIDQ4870568FDOQ4870568

Authors: Judit Madarász 

Publication date: 16 July 1996

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

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

zbMATH Keywords

interpolationmulti-modal logics

Mathematics Subject Classification ID

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

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
• Algebraic characterization of the local Craig interpolation property
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• 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
• Title not available (Why is that?)
• 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)