Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

DOI10.1007/S00012-012-0196-XzbMath1266.06017OpenAlexW1986224214MaRDI QIDQ1762482

Nick Bezhanishvili, I. M. Hodkinson

Publication date: 27 November 2012

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

Full work available at URL: https://doi.org/10.1007/s00012-012-0196-x

zbMATH Keywords

Boolean algebras with operatorsmodal mu-calculusfixed-point equationsconjugated operatormodal mu-algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complete lattices, completions (06B23) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (3)

Changing a Semantics: Opportunism or Courage? ⋮ Sahlqvist theorem for modal fixed point logic ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sahlqvist theorem for modal fixed point logic
• Sahlqvist correspondence for modal mu-calculus
• Completions of \(\mu \)-algebras
• On the canonicity of Sahlqvist identities
• MacNeille completions of lattice expansions
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• MacNeille completions and canonical extensions
• Boolean Algebras with Operators. Part I
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators

This page was built for publication: Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators