Үүнийг мессежээр илгээх: Decidability of graph neural networks via logical characterizations