V B Shehtman, “Bisimulation games and locally tabular logics”, Russ. Math. Surv., 71, № 5, 2016, 979
Stéphane Demri, Hans De Nivelle, “Deciding Regular Grammar Logics with Converse Through First-Order Logic”, J Logic Lang Inf, 14, № 3, 2005, 289
Валентин Борисович Шехтман, Valentin Borisovich Shehtman, Валентин Борисович Шехтман, Valentin Borisovich Shehtman, Валентин Борисович Шехтман, Valentin Borisovich Shehtman, “Квадраты модальных логик с дополнительными связками”, УМН, 67, № 4, 2012, 129
QIAN CHEN, MINGHUI MA, “TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC”, The Review of Symbolic Logic, 2022, 1
Valentin Borisovich Shehtman, “Бисимуляционные игры и локально табличные логики”, Успехи математических наук, 71, № 5(431), 2016, 185