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

DOI10.1080/11663081.1998.10510933zbMath0918.03014OpenAlexW2035121342MaRDI QIDQ4236058

Judit X. 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

possible worlds semanticsCraig interpolationamalgamationmulti-modal logicBoolean algebra with operators

Mathematics Subject Classification ID

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

Related Items

Omitting types for algebraizable extensions of first order logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Preface for Studia Logica special issue (2)
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
• Algebraic polymodal logic: a survey
• Cylindric-relativised set algebras have strong amalgamation
• Boolean Algebras with Operators. Part I