Bashmakov, Stepan I., and Tatyana Yu. Zvereva. 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-61. https://doi.org/10.18778/0138-0680.2022.16.