My work on the logic of context tries to bring together the older ideas of Richard Montague
and David Kaplan with more recent attempts to formalize context in logical AI,
especially John McCarthy's ideas.
The basic idea I am trying to develop is that a type-theoretic
Discusses how to represent contexts in a type-theoretic
Develops and refines the framework, adding dynamic operators.
2001. Postscript PDF
Discusses interactions between time of evaluation and knowledge,
risk and belief, and distributed knowledge and epistemic 'might'.