Римацкий В. В. 
Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz

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

Rimatskii V. V.
An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz

We study bases for the admissible inference rules in a broad class of modal logics. We construct an explicit basis for all admissible rules in the logics S4.1, Grz, and their extensions whose number is at least countable. The resulting basis consists of an infinite sequence of rules in a concise and simple form. In the case of a logic of finite width a basis for all admissible rules consists of a finite sequence of rules.

Полный текст статьи / Full texts:

• PDF file (440 KB)
• PostScript file (825 KB)