logical-expressiveness

本文建立了一个语义框架，将图神经网络分类器与分级模态逻辑的片段联系起来，表明在嵌入、同态等结构属性下的保持对应于特定的逻辑片段。它提供了独立于架构选择的刻画，并展示了每类分类器都存在一个具有相同表达力的GNN架构。