A note on atoms in polymodal algebras

DOI10.1007/S000120050021zbMath0902.06020OpenAlexW2047031499MaRDI QIDQ1272114

Frank Wolter

Publication date: 23 November 1998

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050021

zbMATH Keywords

free algebraatommodal algebrapolymodal algebraweakly transitive variety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Free algebras (08B20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

MacNeille completion and profinite completion can coincide on finitely generated modal algebras

This page was built for publication: A note on atoms in polymodal algebras