with Artemov, S. , 2013, 'Discovering knowability: a semantic analysis', Synthese 190 (16), 3349-3376.