Skip to main content
SpringerLink
Log in

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

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

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 (1999) to the setting of relativized fixed point BAOs.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)

    MATH  Google Scholar 

  2. van Benthem J.: Modal Logic and Classical Logic. Bibliopolis, Naples (1985)

    MATH  Google Scholar 

  3. van Benthem J., Bezhanishvili N., Hodkinson I.: Sahlqvist correspondence for modal mu-calculus. Studia Logica 100, 31–60 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bezhanishvili N., Hodkinson I.: Sahlqvist theorem for modal fixed point logic. Theoret. Comput. Sci. 424, 1–19 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)

  6. Esakia L.L.: Topological Kripke models. Soviet Math. Dokl. 15, 147–151 (1974)

    MATH  Google Scholar 

  7. Gehrke M., Harding J., Venema Y.: MacNeille completions and canonical extensions. Trans. Amer. Math. Soc. 358, 573–590 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  8. Givant S., Venema Y.: The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Algebra Universalis 41, 47–84 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  9. Harding J., Bezhanishvili G.: MacNeille completions of modal algebras. Houston J. Math. 33, 355–384 (2007)

    MathSciNet  MATH  Google Scholar 

  10. Jónsson B.: On the canonicity of Sahlqvist identities. Studia Logica 53, 473–491 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  11. Jónsson B., Tarski A.: Boolean algebras with operators. I. Amer. J. Math. 73, 891–939 (1951)

    Article  MATH  Google Scholar 

  12. MacNeille H.M.: Partially ordered sets. Trans. Amer. Math. Soc. 42, 416–460 (1937)

    Article  MathSciNet  Google Scholar 

  13. Monk J.D.: Completions of Boolean algebras with operators. Math. Nachr. 46, 47–55 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ribeiro H.: A remark on Boolean algebras with operators. Amer. J. Math. 74, 163–167 (1952)

    Article  MathSciNet  MATH  Google Scholar 

  15. Sambin G., Vaccaro V.: A new proof of Sahlqvist’s theorem on modal definability and completeness. J. Symbolic Logic 54, 992–999 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  16. Santocanale L.: Completions of μ-algebras. Ann. Pure Appl. Logic 154, 27–50 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Sikorski R.: Boolean Algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, N. F., Heft 25. Springer, Berlin (1960)

    Google Scholar 

  18. Theunissen M., Venema Y.: MacNeille completions of lattice expansions. Algebra Universalis 57, 143–193 (2007)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, UK

    Nick Bezhanishvili & Ian Hodkinson

Authors
  1. Nick Bezhanishvili
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Hodkinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nick Bezhanishvili.

Additional information

Presented by J. Raftery.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bezhanishvili, N., Hodkinson, I. Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Algebra Univers. 68, 43–56 (2012). https://doi.org/10.1007/s00012-012-0196-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-012-0196-x

2010 Mathematics Subject Classification

Keywords and phrases

Search

Navigation