 The dynamic logic for inference on knowledge then incorporates the ability to represent “there is a knowledge inference with \(\sigma\) after which \(\phi\) holds” (Velázquez-Quesada 2009). It is in just this sense that such modal information theoretical approaches model the outputs of inferential processes, as opposed to the properties of the inferential processes that generate such outputs (see the section on categorial information theory for models of such dynamic properties). 