The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics