Jago, M. “Hintikka and Cresswell on Logical Omniscience”. Logic and Logical Philosophy, vol. 15, no. 4, Mar. 2007, pp. 325-54, doi:10.12775/LLP.2006.019.