Structural Preservation and the Logical Expressiveness of Graph Neural Networks

In three linesTheoretical paper establishing correspondences between GNN classes and fragments of graded modal logic. Authors characterize the logical expressiveness of GNNs preserving structural properties (embeddings, injective homomorphisms, homomorphisms) through specific fragments of existential modal logic.

Summary generated by Claude — human-verified