arXiv:2505.07816v1 类型: cross 摘要: 本文将分级模态 μ- calculus 的 μ 片段转换为一类分布式消息传递自动机。作为推论，我们获得了对于 \cite{ahvonen_neurips} 中的一个定理的一个替代证明，该定理指出，使用实数和分级模态替代计算的循环图神经网络在限定于逻辑单调二阶逻辑 MSO 的情况下具有相同的表达示力。