Bashmakov, S.I. and Zvereva, T.Y. 2022. Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality. Bulletin of the Section of Logic. 51, 3 (Sep. 2022), 345–361. DOI:https://doi.org/10.18778/0138-0680.2022.16.