Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras

DOI10.1007/BF01673502zbMath0457.03021MaRDI QIDQ1150603

Larisa L. Maksimova

Publication date: 1980

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

zbMATH Keywords

amalgamationnormal extensions of S4Craig's interpolation theoremsuper-amalgamation

Mathematics Subject Classification ID

Lattices of varieties (08B15) Modal logic (including the logic of norms) (03B45) Boolean algebras (Boolean rings) (06E99)

Related Items

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Finite groups with \(f\)-abnormal or \(f\)-subnormal subgroups ⋮ On the interpolation property of some intuitionistic modal logics ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic ⋮ Classification of extensions of the modal logic S4 ⋮ Existentially closed closure algebras ⋮ Amalgamation and interpolation in normal modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Automatic checking properties of non-classical logics ⋮ Description of finite solvable minimal non-\({\mathcal F}\)-groups for an arbitrary totally local formation \({\mathcal F}\) ⋮ Constructive classifications of modal logics and extensions of minimal logic ⋮ Restricted interpolation over modal logic S4 ⋮ PDL has interpolation

Cites Work

• Certain extensions of modal system S4
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras