Seol mar théacs é seo: Decidability of graph neural networks via logical characterizations