homomorphisms

This paper establishes a semantic framework linking graph neural network classifiers to fragments of graded modal logic, showing that preservation under structural properties like embeddings and homomorphisms corresponds to specific logical fragments. It provides characterizations independent of architectural choices and demonstrates that each class admits a GNN architecture of equivalent expressiveness.