О допустимых правилах полимодальной логики S 5 n C П.А. Алексеев, М.И. Голованов, P. A. Alekseev, M. I. Golovanov, P. A. Alekseev, M. I. Golovanov, P. A. Alekseev, M. I. Golovanov (1997) Algebra i Logika
О конечной базируемости по допустимости модальных логик ширины 2. В.В. Римацкий (1999) Algebra i Logika
О многообразиях алгебраических систем и пропозициональных исчислениях. А.А. Шум (1984) Algebra i Logika
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости А.В. Кузнецов, А.Ю. Муравицкий (1987) Matematiceskie issledovanija
О сходимости позитивных схем S4 и Int С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1994) Algebra i Logika
О финитной аппроксимируемости для допустимых правил вывода В.В. Рыбаков, В.Р. Кияткин, Т. Онер (2001) Algebra i Logika
Об отношении между интуиционистскими и классическими модальными логиками. Ф. Вольтер, М. Захарьящев, F. Vol'ter, M. Zachar'jaščev, F. Vol'ter, M. Zachar'ǎŝev, F. Vol'ter, M. Zachar'jaščev (1997) Algebra i Logika
Основные задачи выразимости формул в неклассических логиках М.Ф. Раца (1987) Matematiceskie issledovanija
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next'' Л.Л. Максимова (1991) Sibirskij matematiceskij zurnal
Отсутствие интерполяционного свойства у модальных напарников логики Даммета. Л.Л. Максимова (1982) Algebra i Logika
Проективные свойства Бета в модальных и суперинтуиционистских логиках. Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999) Algebra i Logika