Publication:5293993
From MaRDI portal
zbMath1124.06007MaRDI QIDQ5293993
Guram Bezhanishvili, John Harding
Publication date: 9 July 2007
03B45: Modal logic (including the logic of norms)
06B23: Complete lattices, completions
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
McKinsey-Tarski algebras: an alternative pointfree approach to topology, Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators, On the logic of belief and propositional quantification, A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers