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

@inproceedings{Bezhanishvili2012PreservationOS,
  title={Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators},
  author={Nick Bezhanishvili and Ian M. Hodkinson},
  year={2012}
}
We define Sahlqvist fixed point equations and relativized fixed point Boolean algebras with operators (relativized fixed point BAOs). We show that every Sahlqvist fixed point equation is preserved under completions of conjugated relativized fixed point BAOs. This extends the result of Givant and Venema [8] to the setting of relativized fixed point BAOs. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

The preservation of Sahlqvist equations in completions of Boolean algebras with operators, Algebra Universalis

  • S. Givant, Y. Venema
  • 1999
Highly Influential
11 Excerpts

M

  • P. Blackburn
  • de Rijke, and Y. Venema, Modal logic, Cambridge…
  • 2001
2 Excerpts

Boolean algebras with operators

  • A. Tarski
  • I , Amer . J . Math .
  • 1994

Modal logic and classical logic, Bibliopolis

  • J. van Benthem
  • 1985
1 Excerpt

and P

  • R. Balbe
  • Dwinger, Distributive lattices, University of…
  • 1974
1 Excerpt

Similar Papers

Loading similar papers…