Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

КУДИНОВ Андрей Валерьевич

к. ф.-м. н., старший научный сотрудник, ИППИ РАН , Сектор 4.1


СФЕРА НАУЧНЫХ ИНТЕРЕСОВ

Неклассические логики, топологическая семантика, алгоритмическая сложность, логика знания.

ПУБЛИКАЦИИ

  1. Philippe Balbiani and Andrey Kudinov. A topological interpretation of public announcement logic. Advances in Modal Logic 2010, Extended Abstracts, Moscow, pp 6-11.
  2. А.Кудинов. И. Шапировский.Некоторые примеры модальных логик без конечной аксиоматики. Сборник статей конференции Информационные технологии и системы" (ИТиС'10) стр. 258-262, Москва, 2010.
  3. А.Кудинов. И. Шапировский. Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. Сборник статей конференции Информационные технологии и системы" (ИТиС'09) стр. 411-415, Москва, 2009
  4. А.Кудинов. О топологической модальной логике R с неравенством, УМН, 2008, 63:1(379), 163–164
  5. А.Кудинов. On topological modal logic of real line with difference modality. Algebraic and Topological Methods in Non-Classical Logics III, Oxford, abstracts, http://at.yorku.ca/c/a/u/g/19.dir/caug-19.pdf
  6. А.Кудинов. Topological modal logics with difference modality. Advances in Modal Logic, Volume 6,pp 319-332, 2006
  7. А.Кудинов. Difference modality in topological spaces. Algebraic and Topological Methods in Non-classical Logics II, Barcelona, abstracts, p.50-51, 2005. 
 ВЫСТУПЛЕНИЯ НА КОНФЕРЕНЦИЯХ
  1. Advances in Modal Logic, 2010, 24-27 August, Moscow, Russia.
  2. «Информационные технологии и системы» (ИТиС"10), 33-я конференция молодых ученых и специалистов ИППИ РАН, 20-24 сентября 2010г.
  3. Algebraic and Topological Methods in Non-Classical Logics III, 5–9 August, 2007,Oxford, UK.
  4. Advances in Modal Logic, 25-28 September, 2006, Noosa, Australia.
  5. Computer science applications of modal logic, September 5-9, 2005, Moscow, Russia
  6. Algebraic and Topological Methods in Non-classical Logics II, June 15-18, 2005, Barcelona, Spain.

ОБРАЗОВАНИЕ:  

2001-2004 аспирантура, МГУ, Механико-математический ф-т, отд. Математики, каф. Математической логики и теории алгоритмов
Диссертация: «Топологические модальные логики с модальностью неравенства» (под руководством проф. В.Б. Шехтмана) Автореферат
1996-2001 МГУ, Механико-математический ф-т, отд. Математики, каф. Математической логики и теории алгоритмов
Диплом: ­«О модальном операторе неравенства в топологических пространствах» (под руководством проф. В.Б. Шехтмана) 
1996 СУНЦ МГУ, физико-математический класс 
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2016
Об институте  |  Контакты  |  Старая версия сайта