在 2019 年的开创性工作中，Barceló 及其合作者确定了与一阶逻辑可定义的性质相关的恒定迭代深度图神经网络 (GNN) 的表达能力相匹配的逻辑。在本文中，我们给出了递归 GNN 在两种情况下精确的逻辑表征：(1) 在使用浮点数的环境中，以及 (2) 在使用实数的环境中。对于浮点数，与递归 GNN 相匹配的形式化是一种具有计数功能的基于规则的模态逻辑，而对于实数，我们使用一种合适的无穷模态逻辑，也具有计数功能。这些结果在递归设置中给出了逻辑和 GNN 之间的精确匹配，而无需将任何一种情况归属于背景逻辑，但使用了一些关于浮点运算的自然假设。应用我们的表征，我们还证明了相对于一阶单调逻辑 (MSO) 中可定义的图性质而言，我们的无穷逻辑和基于规则的逻辑具有相同的表达能力。这意味着具有实数和浮点数的递归 GNN 对 MSO 可定义的性质具有相同的表达能力，并且表明，对于此类性质，具有实数的递归 GNN 也由 (有限的！) 基于规则的模态逻辑来表征。相反，在一般情况下，浮点数的表达能力弱于实数。除了面向逻辑的结果外，我们还通过分布式自动机来表征具有实数和浮点数的递归 GNN，从而建立了与分布式计算模型的联系。