scientific article; zbMATH DE number 5170265
From MaRDI portal
Publication:5293993
zbMath1124.06007MaRDI QIDQ5293993
Guram Bezhanishvili, John Harding
Publication date: 9 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Complete lattices, completions (06B23) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (4)
McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ On the logic of belief and propositional quantification ⋮ Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
This page was built for publication:
