1. C. C. Chang and H. J. Keisler. Model Theory. North-Holland, Amsterdam, 1973.
2. Maarten de Rijke and Yde Venema. Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54: 61–78, 1995.
3. Kit Fine. Some connections between elementary and modal logic. In Stig Kanger, editor, Proceedings of the Third Scandinavian Logic Symposium, pages 15–31. North-Holland, 1975.
4. Kit Fine. Logics containing K4. Part II. The Journal of Symbolic Logic,50(3):619651,1985.
5. Mai Gehrke and John Harding. Bounded lattice expansions. Journal of Algebra, 239: 345–371, 2001.