Об аксиоматизации строго позитивных фрагментов модальных логик

В докладе пойдет речь об $EL$-уравнениях или импликациях между строго позитивными формулами. Мы интересуемся вопросом о специальной полноте по Крипке для таких уравнений, а именно, хотим охарактеризовать те уравнения, которые некоторым стандартным для полурешеток с монотонными операторами образом аксиоматизируют $EL$-фрагмент задаваемых ими нормальных модальных логик.