Область научных интересов

Не указана.

Образование

  • 1989 д.ф.-м.н. Вопросы аксиоматизируемости и полноты модальных логик доказуемости
  • 1980 к.ф.-м.н. Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логики

Результаты деятельности

Всего: 90 статей, 8 тезисов докладов, 2 диссертации, 2 руководства диссертациями, 5 дипломных работ, 2 доклада на конференциях, 5 членств в редколлегиях сборников, 1 членство в программном комитете, 2 оценивания диссертаций.

Количество цитирований статей в журналах по данным Web of Science: 719, Scopus: 835

Просмотреть публикации »

Соавторы: Nerode A., Кузнец Р.М., Ногина Е.Ю., Джапаридзе Г.К., Davoren J., Iemhoff R., Protopopescu T., Straßen T., Беклемишев Л.Д., Крупский В.Н., Минц Г.Е., Яворская Т.Л., Alt J., Belavin A.A., Bonelli E., Boolos G., Diekert V., Engeler E., Esterov A.I., Feferman S., Ginzburg V.A., Jäger G., Mislove M., Montagna F., Poizat B., Troelstra A., Vassiliev V.A., Visser A., Vlăduţ S.G., Wolenski J., de Queiroz R., Брюшинкин В.Н., Бухштабер В.М., Варченко А.Н., Горский Е.А., Ильяшенко Ю.С., Кириллов А.А., Ландо С.К., Маргулис Г.А., Неретин Ю.А., Новиков С.П., Павилёнис Р.И., Слисенко А.О., Смирнов В.А., Сосинский А.Б., Фейгин Б.Л., Хованский А.Г., Цфасман М.А., Чуприна А.В., Шлосман С.Б.