Anfonwch hwn fel neges destun: Decidability of graph neural networks via logical characterizations