Кияткин В.Р. Исследование правил вывода в модальных логиках, расширяющих S4 : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / В. Р. Кияткин, 1999. - 18 с. - Текст : непосредственный.