Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

DOI10.1080/11663081.1998.10510933MaRDI QIDQ4236058zbMATH OpenOpenAlexFDO

Authors Judit Madarász

Publication date 15 July 1999

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510933

zbMATH Keywords

amalgamationCraig interpolationpossible worlds semanticsmulti-modal logicBoolean algebra with operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• scientific article; zbMATH DE number 4047685
• Interpolation in non-classical logics
• Amalgamation and interpolation in normal modal logics
• On the interpolation property of some intuitionistic modal logics
• scientific article; zbMATH DE number 1303729
• Interpolation in Normal Extensions of the Brouwer Logic
• Interpolation in weakly transitive modal logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• scientific article; zbMATH DE number 859796
• scientific article; zbMATH DE number 2184446

Cites work

• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• scientific article; zbMATH DE number 753775 (Why is no real title available?)
• Algebraic polymodal logic: a survey
• Boolean Algebras with Operators. Part I
• Cylindric-relativised set algebras have strong amalgamation
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
• Preface for Studia Logica special issue (2)

Cited in

(9)

• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Amalgamation and interpolation in normal modal logics
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• Maksimova, relevance and the study of lattices of non-classical logics
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Interpolation and amalgamation; pushing the limits. I
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Omitting types for algebraizable extensions of first order logic

This page was built for publication: Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

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