La especificación y verificación de habilidades estratégicas coalicionales ha sido un área activa de investigación en sistemas multiagente, inteligencia artificial y teoría de juegos. Recientemente, se han propuesto muchas lógicas estratégicas, por ejemplo, la Lógica de Estrategia (SL) y la lógica temporal de tiempo alternante (ATL), basadas en lógicas temporales clásicas, como la lógica temporal de tiempo lineal (LTL) y la lógica de árbol computacional (CTL), respectivamente. Sin embargo, estas lógicas no pueden expresar propiedades generales -regulares, cuya necesidad se considera convincente en aplicaciones prácticas, especialmente en la industria. Para remediar este problema, en este artículo, basándonos en la lógica dinámica lineal (LDL), propuesta por Moshe Y. Vardi, proponemos la Lógica de Estrategia basada en LDL (LDL-SL). Interpretada en estructuras de juegos concurrentes, LDL-SL extiende SL, que contiene operadores de cuantificación existencial/universal sobre expresiones regulares. Aquí adoptamos una versión de tiempo de ramificación. Esta lógica puede expresar propiedades generales -regulares y describir más restricciones programadas sobre estrategias individuales/grupales. Luego estudiamos tres tipos de fragmentos (es decir, uno-objetivo, similar a ATL, sin asteriscos) de LDL-SL. Además, mostramos que las lógicas estratégicas prevalentes basadas en LTL/CTL, como SL/ATL, son exactamente equivalentes a aquellas lógicas estratégicas sin asteriscos correspondientes, donde solo se consideran expresiones regulares sin asteriscos. Además, los resultados muestran que la complejidad del razonamiento sobre los problemas de verificación de modelos para estas nuevas lógicas, incluidos los fragmentos de uno-objetivo y similares a ATL, no es más difícil que la de SL o ATL correspondientes.