Bashmakov S.I., “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Journal SFU. Math.& Physics, 9:2 (2016), 149-157
Bashmakov S.I., Kosheleva A.V., Rybakov V.V., “Unification for multi-agent temporal logics with universal modality”, IfCoLog Journal of Logics and their Applications, 4:4 (2017), 939-954
Bashmakov S.I., “Unification in linear modal logic on non-transitive time with the universal modality”, Journal SFU. Math. & Physics, 11:1 (2018), 3-9
Bashmakov S.I., “Unification in Pretabular Extensions of S4”, Logica Universalis, 15 (2021), 381–397
Bashmakov S.I., Zvereva T. Yu., “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality”, Bulletin of the Section of Logic, 51 (2022), 345-361
