1. [1] Aull, C. E., and W. J. Thron, "Separation axioms between $T_{0}$" and $T_{1}$, Nederl. Akad. Wetensch. Proc. Ser. A 65 = Indag. Math., vol. 24 (1962), pp. 26–37.
2. [3] Bezhanishvili, G., and S. Ghilardi, "An algebraic approach to subframe logics. Intuitionistic case", Annals of Pure and Applied Logic, vol. 147 (2007), pp. 84–100.
3. [4] Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
4. [5] Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, The Clarendon Press, New York, 1997.
5. [6] Engelking, R., General Topology, 2d edition, vol. 6 of Sigma Series in Pure Mathematics, Heldermann Verlag, Berlin, 1989.