오토마타 선형 동적 논리(ALDLf)는 정규 표현식 대신 비결정적 유한 오토마타를 사용하여 시간적 제약을 표현하고 과거 양상을 직접 표현할 수 있는 시간 논리이다. ALDLf는 LDLf와 동등한 표현력을 가지면서도 만족 가능성 검사가 PSPACE-complete이다.
