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 (3), 345-361. https://doi.org/10.18778/0138-0680.2022.16.