S. I. Bashmakov and T. Y. Zvereva, “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality”, B Sect Log, vol. 51, no. 3, pp. 345–361, Sep. 2022.