Knowledge and distributed knowledge in a process calculus

Sophia Knight

I will present spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system. I will discuss domain-theoretical structures to represent spatial and epistemic information, and operational and denotational techniques for reasoning about the potentially infinite behaviour of spatial and epistemic processes. I will discuss notions of inverse modalities and implication in this context, particularly as they occur in the domain-theoretical constraint systems. Finally I will discuss some current work on distributed knowledge in constraint systems, including distributed knowledge for infinite groups.