本文探讨了将分级模态μ演算的μ片段转化为分布式消息传递自动机的方法，填补了研究空白。研究表明，递归图神经网络在逻辑单依赖第二阶逻辑MSO下具有相同的表达能力，为图神经网络与逻辑表达能力的关系提供了新视角。

本研究探讨了有界图神经网络（GNN）与一阶逻辑的关系，揭示了GNN在图表示学习中的逻辑表达能力，促进了其在图数据中的应用理解。