Bashmakov SI, Zvereva TY. 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. doi:10.18778/0138-0680.2022.16