Dean, W. and Kurokawa, H.. (2010) From the knowability paradox to the existence of proofs. Synthese, Vol.176 (No.2). pp. 177-225. ISSN 0039-7857