Голованова Е. М.
Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления

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

Golovanova E. M.
A criterion for admissibility of inference rules in some class of S4-logics without the branching property

We consider a finitely approximable modal S4-logic without the branching property. Although Rybakov's criterion is inapplicable, using his method we manage to obtain an algorithmic criterion for admissibility of inference rules in a given logic.

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

• PDF file (484 KB)
• PostScript file (900 KB)