The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics | Read Paper on Bytez