Диссертации по модальной логике
и близким неклассическим логикам
(интуиционистской, временной, динамической)
См. также: dissertations on modal logic in English
См. также: видео по Модальной логике на YouTube
Здесь веб-страница без скриптов. Позже всё исправлю.
| 76 диссертаций*) = 63 кандидатских + 13 докторских | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 2010 | 2011 | 2012 | 2013 | ||||||
| 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 |
| 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 |
| 1980 | 1981 | 1982 | 1983 | 1984 | 1985 | 1986 | 1987 | 1988 | 1989 |
| 1970 | 1971 | 1972 | 1973 | 1974 | 1975 | 1976 | 1977 | 1978 | 1979 |
*) Из них 14 философских диссертаций (спец. 09.00.07; обведены пунктиром)
ФИОНАЗВАНИЕ ДИССЕРТАЦИИ
РУКОВОДИТЕЛИ
МЕСТО ЗАЩИТЫ
ОППОНЕНТЫ
ВЕДУЩАЯ ОРГАНИЗАЦИЯ
2012
Д.С.Шамканов[•]Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
Л.Д.Беклемишев, В.Н.Крупский
Механико-математический факультет МГУ им. М.В.Ломоносова
В.П.Оревков, И.Б.Шапировский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Е.В.Дашков[•]О пропозициональных исчислениях, представляющих понятие доказуемости
Л.Д.Беклемишев
Механико-математический факультет МГУ им. М.В.Ломоносова
С.Н.Артёмов, И.Б.Шапировский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2011
2010
О.Ю.Гончарко[•]Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
Я.Н.Слинин
Философский факультет Санкт-Петербургского государственного университета
В.А.Светлов, Т.А.Новолодская
Санкт-Петербургский университет Министерства внутренних дел РФ
А.В.Карпенко[•]Интерполяционные свойства в слабо транзитивных модальных логиках
Л.Л.Максимова
Новосибирский государственный университет
Д.Е.Пальчунов, П.А.Шрайнер
Сибирский федеральный университет
С.П.Кикоть[•]О модальных логиках элементарных классов шкал Крипке
В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
Л.Л.Максимова, М.Н.Рыбаков
Математический институт им. В.А.Стеклова РАН
П.А.Шапчиц[•]Интервальная временная логика и грамматические времена
Э.Ф.Караваев
Философский факультет Санкт-Петербургского государственного университета
Г.Л.Тульчинский, В.В.Беляев
Санкт-Петербургский университет Министерства внутренних дел РФ
2009
2008
А.В.Кудинов[•]Топологические модальные логики с модальностью неравенства
В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
А.В.Чагров, Р.Э.Яворский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2007
А.В.Кошелева[•]Правила вывода многомодальных логик
В.В.Рыбаков
Институт естественных и гуманитарных наук Сибирского федерального университета
А.Д.Яшин, В.В.Римацкий
Институт математики им. С.Л.Соболева Сибирского отделения РАН
С.П.Одинцов[•]Конструктивные отрицания и паранепротиворечивость
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Л.Д.Беклемишев, Л.Л.Максимова, А.В.Чагров
Красноярский государственный университет
И.Б.Шапировский[•]Алгоритмические свойства модальных логик информационных систем
В.Б.Шехтман
Институт проблем передачи информации РАН
М.Р.Пентус, М.Н.Рыбаков
Математический институт им. В.А.Стеклова РАН
2006
И.А.Горбунов[•]Модальные квазинормальные логики без независимой аксиоматизации
А.В.Чагров
Тверской государственный университет
М.В.Захарьящев, С.М.Дудаков
Красноярский государственный университет
А.Г.Кравцов[•]О некоторых классах многомерных модальных логик
В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
А.В.Чагров, Ан.А.Мучник
Математический институт им. В.А.Стеклова РАН
Н.В.Крупский[•]Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
Л.Д.Беклемишев, М.В.Вьюгин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
В.Б.Новосельцев[•]Формальная теория структурных моделей описания информационных систем и методы установления выводимости
Томский государственный университет
А.А.Жданов, А.Ю.Матросова, С.В.Тимченко
Институт математики им. С.Л.Соболева Сибирского отделения РАН
М.В.Стукачева[•]Дизъюнктивное свойство и канонические формулы в классе расширений минимальной логики
Н.В.Белякин, С.П.Одинцов
Институт математики им. С.Л.Соболева Сибирского отделения РАН
А.И.Будкин, П.А.Шрайнер
Новосибирский государственный технический университет
Д.П.Шкатов[•]Модальные логики с нестандартными модальностями
В.И.Маркин
Институт философии РАН
Е.Е.Ледников, Д.В.Зайцев
Философский факультет Санкт-Петербургского государственного университета
2005
О.А.Антонова[•]Современные проблемы использования табличных методов в логике
Я.Н.Слинин
Философский факультет Санкт-Петербургского государственного университета
Е.Е.Ледников, З.О.Джалишвили, С.С.Гусев
Санкт-Петербургский государственный университет точной механики и оптики
Д.С.Ларионов[•]Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах
В.К.Погребной
Томский политехнический университет
В.А.Силич, В.В.Бурлуцкий
Институт математики им. С.Л.Соболева Сибирского отделения РАН
М.Н.Рыбаков[•]Сложность пропозициональных логик с конечным числом переменных
А.В.Чагров
Тверской государственный университет
В.Б.Шехтман, Р.Э.Яворский
Красноярский государственный университет
Р.В.Хелемендик[•]Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение
Ю.И.Янов
Институт прикладной математики им. М.В.Келдыша РАН
2004
О.М.Григорьев[•]Аналитико-табличная формализация систем временной логики
Философский факультет МГУ им. М.В.Ломоносова
Е.М.Юрасова[•]Допустимые и выводимые правила вывода в нестандартных логиках
В.В.Рыбаков
Красноярский государственный университет
А.Д.Яшин, С.В.Бабенышев
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2003
В.Ф.Мурзина[•]Модальные логики, основанные на α-пространствах
Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Д.Е.Пальчунов, П.А.Шрайер
Красноярский государственный университет
2002
Е.Е.Золин[•]Модальные логики с оператором разрешимости
С.Н.Артёмов, В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
А.В.Чагров, В.Х.Хаханян
Новосибирский государственный университет
А.Н.Руцкий[•]Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках
В.В.Рыбаков
Красноярский государственный университет
С.И.Мардаев, С.В.Ларин
Иркутский государственный университет
Б.Р.Федоришин[•]Исследование правил вывода в нестандартных логиках
В.В.Рыбаков
Красноярский государственный университет
С.И.Мардаев, В.В.Римацкий
Иркутский государственный университет
2001
Н.Л.Архиереев[•]Семантики ограниченных множеств описаний состояний
Ю.В.Ивлев
Философский факультет МГУ им. М.В.Ломоносова
К.И.Бахтияров, Е.В.Фримучкова
Институт философии РАН
В.В.Бурлуцкий[•]Реализация обратного метода установления выводимости для модальной логики KT
В.Б.Новосельцев
Томский государственный университет
А.Ю.Матросова, С.П.Гулько
Институт системного программирования РАН, Москва
С.М.Кускова[•]Учение Аристотеля о модальности
В.А.Бочаров
Философский факультет МГУ им. М.В.Ломоносова
В.Г.Кузнецов, Т.П.Костюк
Институт философии РАН, сектор логики
С.И.Мардаев[•]Неподвижные точки модальных операторов
Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Д.Е.Пальчунов, А.Г.Пинус, А.В.Чагров
Красноярский государственный университет
М.С.Шеремет[•]Квазимногообразия частичных алгебр
В.А.Горбунов, Л.Л.Максимова
Новосибирский государственный университет
2000
С.А.Павлов[•]Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
А.С.Карпенко
Институт философии РАН
Е.Е.Ледников, В.М.Попов
Кафедра логики философского факультета МГУ
В.В.Римацкий[•]Допустимые правила вывода в нестандартных логиках и их базисы
В.В.Рыбаков
Красноярский государственный университет
Б.В.Яковлев, П.А.Шрайнер
Иркутский государственный университет
В.Б.Шехтман[•]Модальные логики топологических пространств
Механико-математический факультет МГУ им. М.В.Ломоносова
М.В.Захарьящев, В.И.Пономарев, А.В.Чагров
Институт математики Сибирского отделения АН СССР
1999
В.Р.Кияткин[•]Исследование правил вывода в модальных логиках, расширяющих S4
В.В.Рыбаков
Красноярский государственный университет
В.В.Беляев, С.И.Мардаев
Иркутский государственный университет
Д.Е.Тишковский[•]Алгебраизация суперинтуиционистских предикатных логик
Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
А.Д.Яшин[•]Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
С.Н.Артёмов
Удмуртский государственный университет, Ижевск
Д.Е.Пальчунов, В.В.Рыбаков, М.В.Захарьящев
Институт проблем передачи информации РАН, Москва
1998
Ю.В.Безгачева[•]Приложение семантики Крипке к исследованию правил вывода
В.В.Рыбаков
Красноярский государственный университет
В.В.Беляев, Д.Е.Пальчунов
Иркутский государственный университет
М.В.Захарьящев[•]Метод канонических формул и его применение в модальной логике
Институт прикладной математики им. М.В.Келдыша РАН
Н.К.Косовский, Л.Л.Максимова, В.Л.Селиванов
Вычислительный центр РАН
А.В.Чагров[•]Моделирование вычислительных процессов средствами пропозициональных логик
Институт проблем передачи информации РАН
Ю.И.Журавлев, М.А.Тайцлин, Е.М.Вениаминов
Институт прикладной математики им. М.В.Келдыша РАН
П.А.Шрайнер[•]Интерполяция и определимость в логиках конечных областей
Л.Л.Максимова
Новосибирский государственный университет
Д.Е.Пальчунов, А.Г.Пинус
Красноярский государственный университет
1997
Т.Л.Сидон[•]Динамические логики доказательств с оператором доказуемости
С.Н.Артёмов
Механико-математический факультет МГУ им. М.В.Ломоносова
В.П.Оревков, Л.Д.Беклемишев
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Е.В.Фримучкова[•]Полимодальные фрагменты временных логик
В.А.Смирнов
Философский факультет МГУ им. М.В.Ломоносова
В.Г.Кузнецов, И.А.Герасимова
Московский государственный педагогический университет
1996
1995
1994
1993
1992
Л.Д.Беклемишев[•]Классификация пропозициональных логик доказуемости
С.И.Адян, С.Н.Артёмов
Механико-математический факультет МГУ им. М.В.Ломоносова
В.П.Оревков, В.Е.Плиско
Институт математики им. С.Л.Соболева Сибирского отделения РАН
И.Г.Симонова[•]Доказуемостно-интуиционистская логика и ее расширения
А.В.Кузнецов, А.Ю.Муравицкий
Институт математики с вычислительным центром Академии наук Молдовы
1991
1990
Н.А.Панкратьев[•]Об исчислении предикатов и арифметике с оператором доказуемости
В.А.Успенский, С.Н.Артёмов
1989
Л.А.Чагрова[•]О проблеме определимости пропозиционных формул интуиционистской логики формулами классической логики первого порядка
М.И.Канович
Калининский государственный университет
1988
С.Н.Артёмов[•]Вопросы аксиоматизируемости и полноты модальных логик доказуемости
Математический институт им. В.А.Стеклова АН СССР
1987
И.Д.Заславский[•]Симметрическая конструктивная логика и некоторые ее приложения
Ленинградский государственный университет им. А.А.Жданова
А.О.Слисенко, А.Л.Семёнов, Л.Л.Максимова
Московский государственный университет им. М.В.Ломоносова
А.В.Чагров[•]Сложность аппроксимируемости модальных и суперинтуиционистских логик
М.И.Канович
Калининский государственный университет
В.А.Смирнов, С.Н.Артёмов
Красноярский государственный университет
1986
Л.Л.Максимова[•]Разрешимые свойства суперинтуиционистских и модальных логик
Институт математики Сибирского отделения АН СССР
Ю.Сакалаускайте[•]Полнота пропозициональной динамической логики с бесконечным повторением
Р.А.Плюшкевичус
Математический институт им. В.А.Стеклова АН СССР
1985
М.В.Захарьящев[•]Синтакс и семантика суперинтуиционистских и модальных логик
Ю.И.Янов
Институт математики Сибирского отделения АН СССР
А.Д.Тайманов, В.В.Рыбаков
?
А.Ю.Муравицкий[•]Логика доказуемости и доказуемостно-интуиционистская логика
А.В.Кузнецов
Институт математики Академии Наук Молдавской ССР
В.Б.Шехтман[•]Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик
А.А.Марков
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
1984
В.И.Маркин[•]Логико-семантический анализ внутренних модальностей
Е.К.Войшвилло
Философский факультет МГУ им. М.В.Ломоносова
А.А.Шум[•]Пропозициональные исчисления и относительные многообразия алгебраических систем
В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
С.С.Гончаров, В.Е.Плиско
Институт математики Сибирского отделения АН СССР
1983
М.И.Верхозина[•]Вопросы отделимости и фрагментные логики
Л.Л.Максимова
Иркутский государственный университет
В.И.Курбатов[•]Действия и нормы: исследование по логике деонтических модальностей
А.А.Старченко
Философский факультет МГУ им. М.В.Ломоносова
1982
1981
1980
1979
С.Н.Артёмов[•]Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логики
А.А.Марков, А.Г.Драгалин
Математический институт им. В.А.Стеклова АН СССР
Н.А.Шанин, В.Е.Плиско
Московский государственный педагогический институт им. В.И.Ленина, математический факультет
В.В.Рыбаков[•]К теории модальных логик
Д.М.Смирнов, Л.Л.Максимова
Новосибирский государственный университет
А.Д.Тайманов, С.К.Соболев
Институт математики с вычислительным центром Академии наук Молдавской ССР
В.Х.Сотиров[•]Модальные теории с интуиционистской логикой
В.А.Успенский, А.Г.Драгалин
Механико-математический факультет МГУ им. М.В.Ломоносова
А.И.Циткин[•]Правила вывода, допустимые в суперинтуиционистских логиках
А.В.Кузнецов
Институт математики Академии наук Молдавской ССР
Л.Л.Эсакиа[•]Семантический анализ суперинтуиционистских логик и нормальных расширений модальной системы S4
?
Механико-математический факультет МГУ им. М.В.Ломоносова
1978
1977
1976
В.Ю.Месхи[•]К теории моделей логических исчислений с временными операторами
В.В.Чавчанидзе
Московский государственный педагогический институт им. В.И.Ленина
А.В.Гладкий, Г.Е.Минц
Институт математики Сибирского отделения АН СССР
1975
1974
1973
В.Я.Герчиу[•]Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний
А.В.Кузнецов
Математический институт им. В.А.Стеклова АН СССР
1972
1971
1970
1968
Л.Л.Максимова[•]Логические исчисления строгой импликации
А.И.Мальцев
Новосибирский государственный университет
1967
Р.А.Плюшкевичус[•]Секвенциальные исчисления конструктивной логики без структурных правил вывода для нормальных формул
Г.Е.Минц, В.Матулис