Syverson, P.F., "An Epistemic Logic of Situations",
Theoretical Aspects of Reasoning About Knowledge (TARK 1994) ed. by 
Ronald Fagin, Pacific Grove CA, Morgan Kaufman Pub. Inc., pp. 109-121,
March '94.

<blockquote>
In this paper we present a first order epistemic logic that
incorporates the essentially finite character of what is actually
known by any knower. Our logic and language allows us to represent
familiarity with individuals including individual situations. It is
also a logic of limited awareness in the manner of [Fagin & Halpern
88]. It is adequate for the syntactic characterization of the
shared-situation account of common knowledge.e presented semantics.
</blockquote>