О моделях исчисления E
Displaying 41 – 60 of 68
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
О семантике модальной логики
Г.Е. Минц (1969)
Zapiski naucnych seminarov Leningradskogo
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
А.В. Кузнецов, А.Ю. Муравицкий (1987)
Matematiceskie issledovanija
О сходимости позитивных схем S4 и Int
С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1994)
Algebra i Logika
О финитной аппроксимируемости для допустимых правил вывода
В.В. Рыбаков, В.Р. Кияткин, Т. Онер (2001)
Algebra i Logika
Об интерполяции в нормальных модальных логиках
Л.Л. Максимова (1987)
Matematiceskie issledovanija
Об одной классификации модальных логик.
Л.Л. Максимова (1979)
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
Определимость наименьших неподвижных точек.
С.И. Мардаев (2002)
Algebra i Logika
Основные задачи выразимости формул в неклассических логиках
М.Ф. Раца (1987)
Matematiceskie issledovanija
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next''
Л.Л. Максимова (1991)
Sibirskij matematiceskij zurnal
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Предтабличные расширения логики S4 Льюиса.
Л.Л. Максимова (1975)
Algebra i Logika
Принцип разделения переменных в пропозициональных логиках
Л.Л. Максимова (1976)
Algebra i Logika
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
В.В. Рыбаков (1991)
Sibirskij matematiceskij zurnal
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
В.В. Рыбаков (1984)
Algebra i Logika
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika