Towards a Complete Logical Framework for GNN Expressiveness - Xu, Tuo (International Conference on Learning Representations, 2025)