Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
From MaRDI portal
Publication:1317604
DOI10.1007/BF02259848zbMath0795.03025MaRDI QIDQ1317604
Publication date: 12 April 1994
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187604
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40)
Related Items (13)
Restricted interpolation property in superintuitionistic logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ The Beth property in algebraic logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Dominions of universal algebras and projective properties ⋮ Interpolation in weakly transitive modal logics ⋮ Definability and interpolation in non-classical logics ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ ON DEFINABILITY IN MULTIMODAL LOGIC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logical matrices and the amalgamation property
- Definability theorems in normal extensions of the provability logic
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Pretabular varieties of modal algebras
- Amalgamation properties and interpolation theorems for equational theories
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Algebraizable logics
- Algebras Whose Congruence Lattices are Distributive.
This page was built for publication: Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
