Logical Characterizations of GNNs with Mean Aggregation. - Moritz Schönherr; Carsten Lutz (CoRR, 2025)