  For some reason, work on the explicit formalization of context hasn’t been actively pursued by the computational community beyond this point. Philosophical interest in context, and especially in the interaction of context with propositional attitudes and modals, continues to be strong; but the very general logical frameworks for context that  McCarthy envisioned have yet not been taken up by philosophers.