Jago, M. Hintikka and Cresswell on Logical Omniscience. LLP 2007, 15, 325-354.