Describir: Communication Pattern Logic: Epistemic and Topological Views.