Modelling the Cooperative Information Filtering Problem

In this paper, we present an original approach for modelling the cooperative information filtering problem using Logic of Information Flow and Situation Theory. We describe the fundamental concepts of these theories and discuss crucial issues that arise during the exposition, such as defining Situation Theory as a Heyting algebra and showing that in our application this theory is well-founded.