Undecidability of the completeness problem of modal logic
Displaying 101 – 120 of 171
Using the possibility theory in fuzzy temporal reasoning
Jozef Šajda (1992)
Kybernetika
Weak decidability of some modal extention of trigonometry
H. Dishkant (1974)
Fundamenta Mathematicae
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
P. Lorenzen (1972)
Archiv für mathematische Logik und Grundlagenforschung
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
А.Ю. Муравицкий (1986)
Matematiceskij sbornik
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Базисы допустимых правил вывода табличных модальных логик глубины 2.
В.В. Римацкий, V. V. Rimackij, V. V. Rimackij, V. V. Rimackij (1996)
Algebra i Logika
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Базисы квазитождеств конечных модальных алгебр.
В.В. Рыбаков (1982)
Algebra i Logika
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Допустимые правила для логик, включающих S4.3.
В.В. Рыбаков (1984)
Sibirskij matematiceskij zurnal
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Л.Л. Максимова (1979)
Algebra i Logika
Интерполяция в бесконечнослойных расширениях логики доказуемости
Л.Л. Максимова (1988)
Algebra i Logika
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Магариевы и -псевдобулевы алгебры.
А.Ю. Муравицкий (1990)
Sibirskij matematiceskij zurnal
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
М.П. Тропин (1988)
Algebra i Logika