  Spatial constraint systems (scs) are semantic structures for reasoning about
spatial and epistemic information in concurrent systems. They have been used to
reason about beliefs, lies, and group epistemic behaviour inspired by social
networks. They have also been used for proving new results about modal logics
and giving semantics to process calculi. In this paper we will discuss the
theory and main results about scs.
