1. [5] Chang, C. C., and H. J. Keisler, Model Theory, 3d edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1990.
2. [6] Cresswell, M. J., "A Henkin completeness for $T$", Notre Dame Journal of Formal Logic, vol. 8 (1967), pp. 186–90.
3. [7] Fine, K., "Some connections between elementary and modal logic", pp. 15–31 in Proceedings of the 3rd Scandinavian Logic Symposium (Uppsala, 1973), vol. 82 of Studies in Logic and the Foundations of Mathematics, Amsterdam, 1975. North-Holland,
4. [8] Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, vol. 148 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 2003.
5. [9] Givant, S., and Y. Venema, "The preservation of Sahlqvist equations in completions of Boolean algebras with operators", Algebra Universalis, vol. 41 (1999), pp. 47–84.