Maksimova, L. L.; Yun, V. F. Strong decidability and strong recognizability. (English. Russian original) Zbl 1420.03046 Algebra Logic 56, No. 5, 370-385 (2017); translation from Algebra Logika 56, No. 5, 559-581 (2017). MSC: 03B53 03B25 PDFBibTeX XMLCite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Algebra Logic 56, No. 5, 370--385 (2017; Zbl 1420.03046); translation from Algebra Logika 56, No. 5, 559--581 (2017) Full Text: DOI
Maksimova, Larisa LC and its pretabular relatives. (English) Zbl 1439.03051 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 81-91 (2016). MSC: 03B47 03B20 03B45 PDFBibTeX XMLCite \textit{L. Maksimova}, Outst. Contrib. Log. 8, 81--91 (2016; Zbl 1439.03051) Full Text: DOI
Maksimova, L. L.; Yun, Veta F. The tabularity problem over the minimal logic. (English. Russian original) Zbl 1420.03024 Sib. Math. J. 57, No. 6, 1034-1043 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1320-1332 (2016). MSC: 03B25 03B20 PDFBibTeX XMLCite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Sib. Math. J. 57, No. 6, 1034--1043 (2016; Zbl 1420.03024); translation from Sib. Mat. Zh. 57, No. 6, 1320--1332 (2016) Full Text: DOI
Maksimova, L. L.; Yun, V. F. Recognizable logics. (English. Russian original) Zbl 1347.03055 Algebra Logic 54, No. 2, 167-182 (2015); translation from Algebra Logika 54, No. 2, 252-274 (2015). MSC: 03B55 03B53 03C40 03B25 PDFBibTeX XMLCite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Algebra Logic 54, No. 2, 167--182 (2015; Zbl 1347.03055); translation from Algebra Logika 54, No. 2, 252--274 (2015) Full Text: DOI
Maksimova, L. L. Restricted interpolation over modal logic S4. (English. Russian original) Zbl 1311.03040 Algebra Logic 52, No. 4, 308-335 (2013); translation from Algebra Logika 52, No. 4, 461-501 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 52, No. 4, 308--335 (2013; Zbl 1311.03040); translation from Algebra Logika 52, No. 4, 461--501 (2013) Full Text: DOI
Maksimova, L. L. Classification of extensions of the modal logic S4. (English. Russian original) Zbl 1315.03029 Sib. Math. J. 54, No. 6, 1064-1075 (2013); translation from Sib. Mat. Zh. 54, No. 6, 1337-1352 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Sib. Math. J. 54, No. 6, 1064--1075 (2013; Zbl 1315.03029); translation from Sib. Mat. Zh. 54, No. 6, 1337--1352 (2013) Full Text: DOI
Karpenko, A. V.; Maksimova, L. L. Simple weakly transitive modal algebras. (English. Russian original) Zbl 1255.03060 Algebra Logic 49, No. 3, 233-245 (2010); translation from Algebra Logika 49, No. 3, 346-365 (2010). MSC: 03G25 PDFBibTeX XMLCite \textit{A. V. Karpenko} and \textit{L. L. Maksimova}, Algebra Logic 49, No. 3, 233--245 (2010; Zbl 1255.03060); translation from Algebra Logika 49, No. 3, 346--365 (2010) Full Text: DOI
Maksimova, L. L. Decidability of the interpolation problem and of related properties in tabular logics. (English. Russian original) Zbl 1241.03032 Algebra Logic 48, No. 6, 426-448 (2009); translation from Algebra Logika 48, No. 6, 754-792 (2009). MSC: 03B55 03B45 03B53 03B25 03C40 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 48, No. 6, 426--448 (2009; Zbl 1241.03032); translation from Algebra Logika 48, No. 6, 754--792 (2009) Full Text: DOI
Maksimova, L. L. Restricted interpolation property in superintuitionistic logics. (English. Russian original) Zbl 1241.03031 Algebra Logic 48, No. 1, 33-53 (2009); translation from Algebra Logika 48, No. 1, 54-89 (2009). MSC: 03B55 03B45 03C40 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 48, No. 1, 33--53 (2009; Zbl 1241.03031); translation from Algebra Logika 48, No. 1, 54--89 (2009) Full Text: DOI
Maksimova, Larisa Definability and interpolation in non-classical logics. (English) Zbl 1101.03027 Stud. Log. 82, No. 2, 271-291 (2006). MSC: 03C40 03B45 03B55 03G99 PDFBibTeX XMLCite \textit{L. Maksimova}, Stud. Log. 82, No. 2, 271--291 (2006; Zbl 1101.03027) Full Text: DOI
Maksimova, Larisa On variable separation in modal and superintuitionistic logics. (English) Zbl 0840.03017 Stud. Log. 55, No. 1, 99-112 (1995). Reviewer: M.Zakharyaschev (Berlin) MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{L. Maksimova}, Stud. Log. 55, No. 1, 99--112 (1995; Zbl 0840.03017) Full Text: DOI