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

amalgamationBoolean algebra with operatorsCraig interpolationmulti-modal logicpossible worlds semantics

Mathematics Subject Classification ID

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

Review text

The paper is rich in new results and ideas which are impossible to render adequately here. Therefore we shall limit ourselves to indicate the nature of the results. The author extends Maksimova's Theorem (that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property) to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics. The author also develops a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many modalities.

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
• Interpolation in modal logic
• 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

• Algebraic polymodal logic: a survey
• Boolean Algebras with Operators. Part I
• Cylindric-relativised set algebras have strong amalgamation
• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• scientific article; zbMATH DE number 753775 (Why is no real title available?)
• 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

(11)

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

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)