グラフニューラルネットワーク(GNN)の表現力と決定可能性を、最近発見された決定可能な論理を用いて明らかにする。特に、GNNの表現力を論理の表現力と正確に対応付けることで、GNNの検証問題に対する決定手続きを得る。一方で、静的解析問題に関する不可決定性の結果も示す。