The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics - Sälzer, Marco; Walega, Przemyslaw; Lange, Martin (Advances in Neural Information Processing Systems, 2025)