In this paper we lay out the conceptual and technical foundations of a general framework that will allow us to talk and reason about the connections between knowledge and context. Based on the notion of "contextual models' !contextual , a first section on 'static formalism " will make it possible to capture using the same language and the same semantics , a number of epistemological positions amongst those most prominent in the recent philosophical literature on knowledge , and to investigate the logical properties and connections they end up attaching to their respective notions of knowledge and context . This 'static" component is augmented with a "dynamic" formalization of context based on a simplified version of Discourse Representation Theory, which will allow us to account for the contribution of epistemic statements to the evolution of the 'score" of a conversation about knowledge .