Reasoning about epistemic social network dynamics using dynamic term-modal logic | Publicación