|
|
Публикации в базе данных Math-Net.Ru
-
Интерполяционное свойство Крейга в предтабличных логиках
Сиб. матем. журн., 65:2 (2024), 349–357
-
Предтабличность и интерполяционное свойство Крейга
Алгебра и логика, 62:3 (2023), 415–423
-
Предтабличность и интерполяционное свойство Крейга над минимальной логикой
Сиб. электрон. матем. изв., 20:1 (2023), 245–250
-
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
Сиб. матем. журн., 63:2 (2022), 344–359
-
Гибридные расширения минимальной логики
Сиб. матем. журн., 62:5 (2021), 1084–1090
-
Perceptibility in pre-Heyting logics
Сиб. электрон. матем. изв., 17 (2020), 1064–1072
-
Проблема интерполяции в конечнослойных предгейтинговых логиках
Алгебра и логика, 58:2 (2019), 210–228
-
Узнаваемость в предгейтинговых и стройных логиках
Сиб. электрон. матем. изв., 16 (2019), 427–434
-
Сильная вычислимость слоев над логикой $\mathrm{GL}$
Сиб. электрон. матем. изв., 15 (2018), 35–47
-
Расширения минимальной логики и проблема интерполяции
Сиб. матем. журн., 59:4 (2018), 863–878
-
Узнаваемость всех WIP-минимальных логик
Сиб. матем. журн., 59:1 (2018), 225–237
-
Сильная разрешимость и сильная узнаваемость
Алгебра и логика, 56:5 (2017), 559–581
-
Слои и уровни расширений минимальной логики
Сиб. матем. журн., 58:6 (2017), 1341–1353
-
Слои над минимальной логикой
Алгебра и логика, 55:4 (2016), 449–464
-
Исчисления над минимальной логикой и невложимость алгебр
Сиб. электрон. матем. изв., 13 (2016), 704–715
-
Проблема табличности над минимальной логикой
Сиб. матем. журн., 57:6 (2016), 1320–1332
-
Узнаваемые логики
Алгебра и логика, 54:2 (2015), 252–274
-
Полимодальная логика индуктивных линейных по времени фреймов
Сиб. электрон. матем. изв., 12 (2015), 421–431
-
WIP-минимальные логики и интерполяция
Сиб. электрон. матем. изв., 12 (2015), 7–20
-
О линейной логике знания и времени с интранзитивным отношением времени
Сиб. матем. журн., 56:3 (2015), 715–719
-
Интерполяция над минимальной логикой и интервалы Одинцова
Сиб. матем. журн., 56:3 (2015), 600–616
-
Временная логика индуктивных фреймов с линейным временем
Сиб. электрон. матем. изв., 7 (2010), 445–457
-
Временная логика линейных по времени фреймов с аксиомой индукции
Сиб. электрон. матем. изв., 6 (2009), 312–325
-
Лариса Львовна Максимова (некролог)
УМН, 80:3(483) (2025), 179–182
© , 2026