References
Sara Negri
with Maffezioli, P. , Naibo, A. (2013). The Church–Fitch knowability paradox in the light of structural proof theory. Synthese 190 (14), pp. 2677-2716.
with Hakli, R. (2012). Does the deduction theorem fail for modal logic?. Synthese 187 (3), pp. 849-867.