ペアノの公理
LTLは、後者（successor、ペアノの公理参照）と「小なり」の関係についての一階述語論理 FO[S,&lt;] と等価である。また、クリーネスターのない正規表現や loop complexity が 0 であるような決定性有限オートマトンも LTL と等価である。