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

DOI10.1007/s00012-012-0196-xzbMath1266.06017MaRDI 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 operators; modal mu-calculus; fixed-point equations; conjugated operator; modal mu-algebra

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

06B23: Complete lattices, completions

03G25: Other algebras related to logic

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

Related Items

Sahlqvist theorem for modal fixed point logic, Changing a Semantics: Opportunism or Courage?

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