Руцкий А. Н., Федоришин Б. Р.
Критерий наследования допустимых правил вывода K4

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

Rutskii A. N., Fedorishin B. R.
An inheritance criterion for the admissible inference rules of K4

We give a criterion for inheritance of the admissible inference rules of the modal logic K4 by the finitely approximable modal logics extending K4. We give a negative solution to the question of inheritance of the admissible rules of K4 by tabular logics. We exhibit a series of examples of modal logics which inherit or fail to inherit the admissible inference rules of K4.

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

• PDF file (434 KB)
• PostScript file (863 KB)