В. Б. Шехтман, Д. П. Шкатов, “Полупроизведения, произведения и предикатные модальные логики: некоторые примеры”, Докл. РАН. Матем., информ., проц. упр., 513 (2023), 99–107 ; V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. Math., 108:2 (2023), 411–418
Valentin Shehtman, Outstanding Contributions to Logic, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 245
Andrey Kudinov, “On neighbourhood product of some Horn axiomatizable logics”, Log. J. IGPL, 26:3 (2018), 316–338
Philip Kremer, “The Incompleteness of S4 ${\bigoplus}$ ⨁ S4 for the Product Space”, Stud Logica, 103:1 (2015), 219
Yin Wu, Min Jiang, Zhongqiang Huang, Fei Chao, Changle Zhou, “An NP-complete fragment of fibring logic”, Ann Math Artif Intell, 75:3-4 (2015), 391
В. Б. Шехтман, “Квадраты модальных логик с дополнительными связками”, УМН, 67:4(406) (2012), 129–186 ; V. B. Shehtman, “Squares of modal logics with additional connectives”, Russian Math. Surveys, 67:4 (2012), 721–777
В. Б. Шехтман, “О квадратах модальных логик с дополнительными связками”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 343–351 ; V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325
С. П. Кикоть, “Об аксиоматике квадратов модальных логик с выделенной диагональю”, Матем. заметки, 88:2 (2010), 261–274 ; S. P. Kikot', “Axiomatization of Modal Logic Squares with Distinguished Diagonal”, Math. Notes, 88:2 (2010), 238–250
А. В. Кошелева, “Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках”, Алгебра и логика, 44:4 (2005), 438–458 ; A. V. Kosheleva, “Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics”, Algebra and Logic, 44:4 (2005), 243–255