, 2013, 'Impossible worlds and logical omniscience: an impossibility result', Synthese 190 (13), 2505-2524.