Явный базис допустимых правил вывода логик конечной ширины

Abstract

В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.

We find an explicit basis for all admissible rules of a representative (at least countable) class of modal logics of finite widht extending the logic S4. Our basis consists of a sequence of rules which have a compact and simple form.