Key points are not available for this paper at this time.
我们提出了一种模态逻辑，其中计数模态以线性不等式的形式出现。我们展示了每个公式可以转化为等效的图神经网络（GNN）。我们还展示了一类广泛的GNN可以高效地转化为一个公式，从而在GNN的逻辑表达能力文献中显著提高。我们还表明，可满足性问题是PSPACE完全的。这些结果将使用标准逻辑方法推理GNN及其属性的前景结合在一起，特别是在GNN查询、等价性检查等应用中。我们证明了这种自然问题可以在多项式空间内解决.
Nunn等（星期二）研究了这个问题。