А. В. Кошелева, “Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках”, Алгебра и логика, 2005, том 44, номер 4,страницы 438

Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках

А. В. Кошелева

Красноярский государственный университет

Аннотация: Исследуются на разрешимость по допустимости правил вывода некоторые многомодальные логики, расширяющие $S5_t$, $t\in N$, и для исследуемых логик доказывается алгоритмический критерий определения допустимости правил вывода.

Ключевые слова: правило вывода, проблема допустимости, разрешимость, многомодальная логика.

УДК: 510.643

Поступило: 05.08.2004