The Way to Go: Multi-Level Temporal Logics