Subdirectly irreducible modal algebras and initial frames
From MaRDI portal
Publication:1288966
DOI10.1023/A:1026407804348zbMath0922.03087OpenAlexW1480232161MaRDI QIDQ1288966
Publication date: 11 October 1999
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026407804348
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items
Embeddability into Relational Lattices Is Undecidable ⋮ Unnamed Item ⋮ Embeddability into relational lattices is undecidable ⋮ An intriguing logic with two implicational connectives ⋮ A splitting logic in NExt(KTB) ⋮ STABLE CANONICAL RULES ⋮ STABLE MODAL LOGICS
