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), pp. 345–361. doi: 10.18778/0138-0680.2022.16.