Enviar aquest missatge de text: Decidability of graph neural networks via logical characterizations