О конечной базируемости по допустимости модальных логик ширины 2. В.В. Римацкий — 1999 Algebra i Logika
Базисы допустимых правил вывода табличных модальных логик глубины 2. В.В. Римацкий; V. V. Rimackij; V. V. Rimackij; V. V. Rimackij — 1996 Algebra i Logika