**4. Strategic Logics Based on LDL/LDL***s f*

In this section, we introduce two new classes of expressive strategic logics, whose underlying logic is LDL and LDL*s f* , respectively. The former can express *ω*-regular properties, and the latter has the same expressivity as star-free regular properties. Firstly, LDL-based Strategy Logic (abbr. LDL-SL) is introduced.
