Bashmakov, S. I., & 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), 345–361. https://doi.org/10.18778/0138-0680.2022.16