Библиографическое описание:Римацкий, В. В. Явный базис допустимых правил вывода логик конечной ширины = An Explicit Basis for Admissible Rules of Modal Logics of Finite Width / В. В. Римацкий. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2008. - Т. 1, № 1. - С. 85-93. - Библиогр.: с. 93 (11 назв.). - ISSN 1997-1397.
Аннотация:В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.
