1. Bezhanishvil, G., & Grigolia, R. (2005). Locally finite varieties of Heyting algebras. Algebra Universalis, 54, 465–473.
2. Blok, W. (1976). Varieties of interior algebras. Ph.D. thesis, University of Amsterdam.
3. Carnap, R. (1956). Meaning and necessity. Chicago: The University of Chicago Press.
4. Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford logic guides (Vol. 35). New York: The Clarendon Press, Oxford University Press.
5. Citkin, A. (2013). Jankov formula and ternary deductive term. In Proceedings of the Sixth Conference on Topology, Algebra, and Category in Logic (TACL 2013) (pp. 48–51). Nashville: Vanderbilt University.