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

к. ф.-м. н., старший научный сотрудник, ИППИ РАН , Сектор 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 СУНЦ МГУ, физико-математический класс