Bashmakov SI, Zvereva TY. Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality. B Sect Log [Internet]. 2022 Sep. 9 [cited 2024 Apr. 25];51(3):345-61. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/9975