Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation

DOI10.1007/BF02259848MaRDI QIDQ1317604zbMATH OpenFDO

Authors L. L. Maksimova

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

zbMATH Keywords

definabilitynormal modal logicsvarieties of modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Other algebras related to logic (03G25)

Review text

We consider definability properties for normal modal logics and for corresponding varieties of modal algebras.

Cites work

• Algebraizable logics
• Algebras Whose Congruence Lattices are Distributive.
• Amalgamation properties and interpolation theorems for equational theories
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Definability theorems in normal extensions of the provability logic
• scientific article; zbMATH DE number 3875359 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Logical matrices and the amalgamation property
• Pretabular varieties of modal algebras

Cited in

(15)

• Mathematical modal logic: A view of its evolution
• The Beth property in algebraic logic
• Projective Beth property in extensions of Grzegorczyk logic
• Definability and interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Dominions of universal algebras and projective properties
• ON DEFINABILITY IN MULTIMODAL LOGIC
• Restricted interpolation property in superintuitionistic logics
• Decidability of the interpolation problem and of related properties in tabular logics
• Decidability of some interpolation properties for weakly transitive modal logics
• On algebraisation of superintuitionistic predicate logics
• Pretabularity and Craig's interpolation property
• One-variable fragments of first-order logics
• Interpolation in weakly transitive modal logics
• Amalgamation, interpolation, and implicit definability in varieties of algebras

This page was built for publication: Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317604)