Bashmakov, S. I., and T. Y. Zvereva. “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic With the Universal Modality”. Bulletin of the Section of Logic, vol. 51, no. 3, Sept. 2022, pp. 345-61, doi:10.18778/0138-0680.2022.16.