Bashmakov, S. I.; Zvereva, T. Y. Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic With the Universal Modality. B Sect Log 2022, 51, 345-361.