A logical model of cooperation

Abstract

This paper proposes a formal definition of the concept of cooperation in distributed systems. The proposed model is based on the use of Modal Logic. More precisely, cooperating activities are seen as activities that can be in different cooperating schemas and, as a consequence, follow different Modal logic systems: T, B, S4, S5. It is in particular shown how this model, using a four-valued logic, is able to express contradictions, because predicates can be both True and False in different domains (scopes) of cooperation.<>