Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
We consider definability properties for normal modal logics and for corresponding varieties of modal algebras.
scientific article; zbMATH DE number 536657
scientific article