I have been reading a lot of papers by John McCarthy lately. As early as 1963, he developed the situation calculus, but then starting in 1987, he developed what came to be known as the propositional logic of context (PLC) (McCarthy, 1987; McCarthy, 1993). Surprisingly, he doesn't really describe the relationship between situation and context or how one formalism fits into the other (or perhaps they don't, but he doesn't say that either).
I have come across one paper that sheds some light on the relationship between situation and context, but it mainly discusses situation in the context of situation theory, which appears to be distinct from the situation calculus. Does anyone know of a good reference that discusses jointly the situation calculus and PLC? Or can you provide an explanation of their relationship here on SE?