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