Presentamos la lógica temporal estratificada (SMTL), una nueva formalización para especificar y verificar las propiedades de sistemas ciberfísicos complejos que exhiben comportamientos en múltiples escalas temporales y de abstracción. SMTL extiende las lógicas temporales existentes al incorporar un operador de estratificación, permitiendo la asociación de propiedades temporales con niveles de abstracción específicos. Esto permite la expresión natural de requisitos multi-escala manteniendo el razonamiento formal sobre las relaciones entre niveles. Formalizamos la sintaxis y semántica de SMTL, demostrando que subsume estrictamente la lógica temporal métrica (MTL) y ofrece una expresividad mejorada al capturar propiedades inalcanzables en lógicas existentes. Simulaciones numéricas comparando agentes que operan bajo especificaciones MTL y SMTL muestran que SMTL mejora la coordinación y seguridad de los agentes, reduciendo las tasas de colisión sin una sobrecarga computacional sustancial o comprometer la eficiencia de la ruta. Estos hallazgos destacan el potencial de SMTL como una herramienta valiosa para diseñar y verificar sistemas multiagentes complejos que operan en diversas escalas temporales y de abstracción.