today local_bar

Marco Sälzer

Postdoc, Rheinland-Pfälzische Technische Universität

1 paper at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 2

Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

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

#3404 · Marco Sälzer, Przemysław Andrzej Wałęga, Martin Lange

We analyse the expressive power of different classes of TGNNs via standard combinations of temporal and modal logics.