Numerous logics have been developed to reason either about threshold-induced opinion diffusion in a network, or about similarity-driven network structure evolution, or about both. In this paper, we first introduce a logic containing different dynamic operators to capture changes that are 'asynchronous' (opinion change only, network-link change only) and changes that are 'synchronous' (both at the same time). Second, we show that synchronous operators cannot, in general, be replaced by asynchronous operators and vice versa. Third, we characterise the class of models on which the synchronous operator can be reduced to sequences of asynchronous operators.

翻译：众多逻辑已被开发用于推理网络中的阈值诱导观点扩散、相似性驱动的网络结构演化，或同时处理两者。本文首先引入一个包含多种动态算子的逻辑，以捕捉“异步”变化（仅观点变化、仅网络连接变化）和“同步”变化（两者同时发生）。其次，我们证明同步算子通常不能由异步算子替代，反之亦然。最后，我们刻画了同步算子可化简为异步算子序列的模型类别。