Valeria de Paiva Natural Deduction and Context as (Constructive) Modality. 116-129 2003 conf/context/2003 CONTEXT http://dx.doi.org/10.1007/3-540-44958-2_10 db/conf/context/context2003.html#Paiva03