In dieser Studienarbeit werden verschiedene Logikfragmente untersucht. Als Fragment der Intervall-Logik wird ITL[F_w,L_w] betrachtet. Dabei führen wir die Faktor-Modalitäten F_w,\L_w für Faktoren w ein. Die Fragmente der Temporal-Logik die untersucht werden sind TL[X,Y,F,P] und TL[X_w,Y_w]. Auch hier treten diese Faktoren w wieder auf. Als Fragment der Logik erster Stufe betrachten wir FO^2[<,suc] und Delta_2[<,suc]. Dabei kann man sich an den Untersuchungen, die bereits für FO^2[<] existieren, orientieren. Weiterhin werden Ranker über Wörtern eingeführt. Es zeigt sich, dass alle diese Fragmente diesselben Sprachen charakterisieren.

Als weitere Charakterisierung dieser Sprachen werden die Varietäten DA*D und LDA eingeführt. Die Untersuchungen liefern damit auch einen kombinatorischen Beweis der sogenannten Lokalität von DA. Dies liefert gleichzeitig einen einfachen Beweis für die Entscheidbarkeit der Varietät DA*D.

Die Untersuchungen wurden auf unendliche Wörter übertragen.