Bashmakov, Stepan I., and Tatyana Yu. Zvereva. “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic With the Universal Modality”. Bulletin of the Section of Logic 51, no. 3 (September 9, 2022): 345–361. Accessed March 29, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/9975.