Модальные логики с LM-аксиомами

Изучаются модальные логики с аксиомами специального вида. Доказывается, что логика, полученная присоединением конечного числа таких аксиом к разрешимой (финитно-аппроксимируемой) модальной логике, разрешима (финитно-аппроксимируема). В частности, отсюда следует, что суперинтуиционистская логика, полученная из интуиционистской присоединением конечного числа “существенно отрицательных” аксиом, финитно-аппроксимируема.