  There are analogies here both to modal logic and to languages with an explicit truth predicate. But the applications that are envisioned for a logic of context create opportunities and problems that are in many ways new.  Work on the logic of context subsequent to McCarthy’s original suggestion, includes  McCarthy &amp; Buvac 1998, Guha 1991, and some of the papers in the conference volumes Akman et al. 2001,  Bouquet et al. 1999. For extensions of Richard Montague’s Intensional Logic motivated by McCarthy’s suggestions, see Thomason 2003 and 2005.