Лариса Львовна Максимова — российский математик и педагог, специалист в области математической логики, лауреат премии имени А. И. Мальцева (2009). Научная область: математическая логика, в частности, неклассические логики: релевантные, суперинтуиционистские, модальные, временные логики; алгебраическая логика, общая теория алгебраических систем.
Решена проблема табличности в расширениях интуиционистской логики и в расширениях известной модальной логики S4.
Найдено исчерпывающее описание суперинтуиционистских логик с интерполяционным свойством и с проективным свойством Бета.
Доказана разрешимость проблем табличности и интерполяции в суперинтуиционистских и модальных исчислениях.
Доказано, что все транзитивные модальные логики обладают свойством определимости по Бету. Напротив, темпоральные логики с линейным или с разветвленным временем не имеют ни интерполяционного свойства, ни свойства Бета.
