그래프 신경망(GNN)의 표현력과 결정가능성에 대한 연구 결과를 제시한다. 최근 발견된 결정가능한 논리를 활용하여 GNN 클래스의 표현력을 측정하고, 이를 통해 GNN 검증 문제에 대한 결정 절차를 얻는다.