Steinsvold, Christopher. " The Boxdot Conjecture and the Generalized McKinsey Axiom." The Australasian Journal of Logic [Online], 15.3 (2018): 630-641. Web. 7 Jul. 2020