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