본 논문은 그래프 신경망(GNNs), 트랜스포머, 순환 신경망 등 다양한 신경망 아키텍처의 표현력을 논리와 형식 언어 이론의 도구를 사용하여 특징짓는 연구의 일환으로, 시간적 차원을 통합한 GNN의 논리적 특징을 연구합니다. 특히, 시간적 GNN의 그래프 및 시간 구성 요소 결합 방식에 따른 표현력 차이를 분석합니다. 시간에 따라 정적 GNN을 재귀적으로 적용하는 시간적 GNN은 과거 명제 시간 논리(PTL)와 모달 논리 K의 곱 논리로 정의 가능한 모든 속성을 포착할 수 있음을 보였습니다. 반면, graph-and-time TGNN 및 global TGNN과 같은 아키텍처는 시간 및 공간 연산자 간의 상호 작용이 구문적으로 제한된 이 논리의 제한된 조각만 표현할 수 있습니다. 이러한 결과는 시간적 GNN의 최초 논리적 특징을 제시하고 시간적 GNN에 대한 새로운 상대적 표현력 결과를 확립합니다.