with Naibo, A. , Negri, S. , 2013, 'The Church–Fitch knowability paradox in the light of structural proof theory', Synthese 190 (14), 2677-2716.