Andrés Occhipinti Liberman, Rasmus K. Rendsvig: Reasoning about epistemic social network dynamics using dynamic term-modal logic. J. Log. Comput. 32(6): 1067-1087 (2022)