Аннотация:
Приведен критерий наследования допустимых правил вывода модальной логики $K4$ для финитно аппроксимируемых модальных логик, расширяющих $K4$. Отрицательно решен вопрос о наследовании допустимых правил $K4$ для табличных логик. Приведен ряд примеров модальных логик, наследующих или не наследующих допустимые правила вывода $K4$.
Ключевые слова:слова: правило вывода, модальная логика, финитная аппроксимируемость, допустимое правило, фрейм.
Полный текст:
PDF файл (235 kB)
