Title: Komplexitätstheoretische Untersuchungen zur Temporallogik