Observing distributed computation. A dynamic-epistemic approach

We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located interconnected agents witnessing a distributed computation. The intention is to trace the process of knowledge acquisition and its dynamics in the context of distributed systems. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatized logic that combines the process-algebraical/equational and the modal/coequational features and is developed for process-algebraical semantics.