Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
type: Item
instance of: scholarly article
title: Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
zbMATH Open document ID: 0795.03025
DOI: 10.1007/BF02259848
published in: Algebra and Logic
publication date: 1994-04-12T00:00:00Z
full work available at URL: https://eudml.org/doc/187604
review text: We consider definability properties for normal modal logics and for corresponding varieties of modal algebras.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 536657
zbMATH Keywords: definability
zbMATH Keywords: normal modal logics
zbMATH Keywords: varieties of modal algebras
author: L. L. Maksimova
MaRDI profile type: Publication
cites work: Q3714043
cites work: Amalgamation properties and interpolation theorems for equational theories
cites work: Q3342632
cites work: Amalgamation, congruence-extension, and interpolation properties in algebras
cites work: Q3875897
cites work: Logical matrices and the amalgamation property
cites work: Pretabular varieties of modal algebras
cites work: Q4187817
cites work: Algebraizable logics
cites work: Interpolation and the Robinson property for logics not closed under the Boolean operations
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Definability theorems in normal extensions of the provability logic
description: scientific article; zbMATH DE number 536657