Richmond H. Thomason Dynamic Contextual Intensional Logic: Logical Foundations and an Application. 328-341 2003 conf/context/2003 CONTEXT http://dx.doi.org/10.1007/3-540-44958-2_26 db/conf/context/context2003.html#Thomason03