Рекомендованный список диссертаций по специальности «Математическая логика, алгебра и теория чисел», 01.01.06 шифр ВАК
Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками1999 год, доктор физико-математических наук Яшин, Александр Данилович
Метод канонических формул и его применение в модальной логике1998 год, доктор физико-математических наук Захарьящев, Михаил Викторович
Модальные логики с оператором разрешимости2002 год, кандидат физико-математических наук Золин, Евгений Евгеньевич
Моделирование вычислительных процессов средствами пропозициональных логик1998 год, доктор физико-математических наук Чагров, Александр Васильевич
Модальные логики топологических пространств1999 год, доктор физико-математических наук Шехтман, Валентин Борисович