M. Jago, “Hintikka and Cresswell on logical omniscience”, LLP, vol. 15, no. 4, pp. 325–354, Mar. 2007.