Базисы допустимых правил $K$-насыщенных логик

Изучаются допустимые правила вывода табличных модальных и суперинтуиционистских логик. Семантическим образом определяются $K$-насыщенные логики. Для таких логик доказывается существование конечного базиса для допустимых правил вывода от конечного числа переменных.