ltl (83B)
1 # LTL 2 3 [LTL_definition] 4 5 Has same expressive power as [FO] on [words] 6 7 Up: [logic]