The Church–Fitch knowability paradox in the light of structural proof theory

2013

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synthese 190 (14)