Interpolation theorems in modal logics. Sufficient conditions

DOI10.1007/BF01669837zbMath0469.03011OpenAlexW2089534954MaRDI QIDQ1156788

Larisa L. Maksimova

Publication date: 1981

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187091

zbMATH Keywords

Kripke frameamalgamation propertynormal modal logictopoboolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Modularity results for interpolation, amalgamation and superamalgamation ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Failure of interpolation in combined modal logics ⋮ Definability and interpolation in non-classical logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Automatic checking properties of non-classical logics ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Combination of uniform interpolants via Beth definability

Cites Work

• A general filtration method for modal logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item