Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Диссертации по модальной логике

и близким неклассическим логикам
(интуиционистской, временной, динамической)
См. также: dissertations on modal logic in English
См. также: видео по Модальной логике на YouTube

*) Из них 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
Р.А.Плюшкевичус[•]Секвенциальные исчисления конструктивной логики без структурных правил вывода для нормальных формул

Г.Е.МинцВ.Матулис