 Van Benthem (2010), by contrast, argues against the temptation to understand Lambek calculi in such foundational informational terms. This is not to suggest that van Benthem is opposed to extended applications of the Lambek calculi. For example, van Benthem (1996) argues for an application of the Lambek calculi for the purpose of giving a dynamic semantics for cognitive procedures. Van Benthem’s use of the Lambek calculi for a dynamic semantics of cognitive procedures, in combination with the use of substructurally interpreted Lambek calculi as a foundational model of information flow, leads naturally to the idea that models for dynamic epistemic phenomena might be given in information channel-theoretic terms. We examine such information models in the following section.