«Наука в Сибири» № 34-35 (2869-2870) 6 сентября 2012 г. СЕССИЯ В ЧЕСТЬ Л. Л. МАКСИМОВОЙ Модальная логика — активно развивающаяся область, находящаяся на стыке математики, философии и информатики. Конференция «Достижения в модальной логике 2012» (AiML-2012) — основной международный форум, целью которого является презентация результатов исследования разнообразных аспектов модальной логики. В августе этого году в Копенгагене, столице Дании, состоялась девятая по счёту встреча из данной серии, собравшая порядка ста участников со всего света, включая специалистов из Болгарии, Дании, Испании, Италии, Нидерландов, России, США, Франции и Японии. Среди авторов докладов было немало учёных с мировым именем: С. Аводи, Дж. ван Бентем, П. Блэкбёрн, Л. Д. Беклемишев, Д. Вакарелов, Л. Л. Максимова, Х. Оно, В. Б. Шехтман и ряд других. Четыре доклада были представлены логиками из сибирской школы. Отличительной особенностью конференции этого года стала организация специальной сессии в честь доктора физико-математических наук, главного научного сотрудника Института математики им. С. Л. Соболева СО РАН, профессора НГУ Ларисы Львовны Максимовой — в знак признания её многочисленных выдающихся достижений в области модальной логики. С обзорами вклада Л. Л. Максимовой в эту область выступили, в частности, такие известные учёные как Л. Д. Беклемишев и В. Б. Шехтман (Москва), Д. Вакарелов (Болгария), Дж. М. Данн и Л. Мосс (США) и Х. Оно (Япония). Была особо отмечена роль Л. Л. Максимовой в признании за модальной логикой (до 70-х годов воспринимавшейся абсолютным большинством как часть философии) статуса математической дисциплины. Написанная ею в соавторстве с И. А. Лавровым книга «Задачи по теории множеств, математической логике и теории алгоритмов», выдержавшая уже пять изданий и переведённая на английский, венгерский и польский языки, оказала и продолжает оказывать большое влияние на процесс преподавания логики в российских (и не только) университетах, оставаясь уникальным в своём роде задачником, содержащим весьма обширный учебный материал. В своих исследованиях Л. Л. Максимова преимущественно использует алгебраический подход к логике, унаследованный ею от научного руководителя академика А. И. Мальцева, основателя широко известной Сибирской школы алгебры и логики. Её пионерские работы некогда позволили фактически «прорубить окно» в новую область широкого применения универсальной алгебры в вопросах изучения решёток расширений различного сорта неклассических логик. В итоге ранее представлявшиеся чрезвычайно сложными картины подобного рода расширений теперь стали просматриваться более отчётливо — благодаря результатам Л. Л. Максимовой, показывавшим, как среди трудно обозримого множества логик нередко лишь конечное их число обладает определённым важным свойством, будь то предтабличность или наличие сильной интерполяции. Это дало возможность разработать классификацию логических исчислений в соответствии с наличием у последних тех или иных фундаментальных свойств. На конференции Л. Л. Максимова выступила с приглашённым докладом, в котором был представлен ряд недавних её результатов. Таким образом, Лариса Львовна продолжает получать всё новые интересные теоремы и ставить задачи, актуальные как для молодых начинающих, так и для уже состоявшихся специалистов. Соб. инф. стр. 14