Amalgamation and interpolation in normal modal logics
From MaRDI portal
Publication:1189894
DOI10.1007/BF00370682zbMath0754.03013MaRDI QIDQ1189894
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Varieties (08B99) Interpolation, preservation, definability (03C40)
Related Items (19)
Constructive interpolation in hybrid logic ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ Cut elimination in coalgebraic logics ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ The fixed point property in modal logic ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Definability and interpolation in non-classical logics ⋮ Some results about neat reducts ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ The class of polyadic algebras has the super amalgamation property ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Admissibility of Cut in Coalgebraic Logics
Cites Work
- Modal tableau calculi and interpolation
- Logical matrices and the amalgamation property
- Pretabular varieties of modal algebras
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Amalgamation properties and interpolation theorems for equational theories
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Failures of the interpolation lemma in quantified modal logic
- On systems of modal logic with provability interpretations
- On Some Completeness Theorems in Modal Logic
- Categories of frames for modal logic
- Arithmetical necessity, provability and intuitionistic logic
- Algebraic semantics for modal logics I
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Amalgamation and interpolation in normal modal logics