2 citations to https://www.mathnet.ru/rus/im8476

1. С. И. Башмаков, Т. Ю. Зверева, “Линейная ступенчатая логика знания $\mathcal{LTK}.{sl}$”, Сиб. электрон. матем. изв., 20:2 (2023), 1361–1373    
2. I. B. Shapirovsky, “Glivenko's theorem, finite height, and local tabularity”, J. Appl. Log.-IFCOLOG, 8:8, SI (2021), 2333–2347