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

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

---

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

    Модальная логика, топологическая семантика, окрестностная семантика, позитивные и строго позитивные фрагменты модальных логик, логика знания, теория алгоритмов.

ПУБЛИКАЦИИ: 

1. A. Kudinov, S. Kikot. On Strictly Positive Fragments of Modal Logics with Confluence. Mathematics. 2022. Vol. 10. No. 19

2. Andrey Kudinov. On neighborhood product of some Horn axiomatizable logics. Logic Journal of the IGPL 26 (3), 316-338

3. Кудинов А. В., Шапировский И. Б. О разбиениях шкал Крипке конечной высоты // Изв. РАН. Сер. матем.— 2017. — Том 81, выпуск. №3. — С. 134–159

4. Andrey Kudinov. Neighborhood-Kripke product of modal logics.  Proceedings of Topology, Algebra and Categories in Logic (TACL 2017).

5. Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости предтранзитивных логик конечной глубины // Успехи математических наук. — 2016. — Т. 71, № 1. — С. 164–166.

6. Andrey Kudinov. Neighbourhood products of pretransitive modal logics with S5. Advances in Modal Logic, 2016. Short Presentations.

7. Andrey Kudinov. On pretransitive logics of finite depth.  Proceedings of Topology, Algebra and Categories in Logic (TACL 2015)

8. Кудинов А.В., Шапировский И.Б. О полноте предтранзитивных логик конечной глубины. Сборник статей конференции Информационные технологии и системы" (ИТиС"14), 534-542, Москва, 2014

9. A. Kudinov, V. Shehtman.  Derivational Modal Logics with the Difference Modality. In: Leo Esakia on Duality in Modal and Intuitionistic Logics. Trends in Logic, Springer, 2014, pp. 291-334.

10. A. Kudinov. Neighbourhood Frame Product KxK. In:  Advances in Modal Logic, v. 10. College Publications, 2014, 373-386.

11. Кудинов А.В. Деривационная логика произведения рациональных чисел. Сборник статей конференции Информационные технологии и системы" (ИТиС"13),

12. A. Kudinov. Derivational modal logic of real line with difference modality. Proceedings of Topology, Algebra and Categories in Logic (TACL 2013), Vanderbilt, 2013, pp. 135-138.

13. Ph. Balbiani, H. van Ditmarsch, A. Kudinov. Subset space logic with arbitrary announcements.  Proceedings of 5th Indian Conference on Logic and its Applications (ICLA 2013) pp. 233-244.

14. A. Kudinov, I. Shapirovsky, V. Shehtman. On modal logics of Hamming spaces. Advances in Modal Logic, Volume 9, 2012, pp. 395-410. 

15. A. Kudinov. Modal logic of some products of neighbourhood frames. Advances in Modal Logic, Volume 9, 2012, pp.386-394. 

16. А.Кудинов. Модальная логика R с модальностью неравенства. Сборник статей конференции Информационные технологии и системы" (ИТиС"11), стр. 335-339, Москва, 2011. ISBN: 978-5-901158-16-6

17. А.Кудинов. И. Шапировский. Финитная аппроксимируемость предтранзитивных аналогов S5. Сборник статей конференции Информационные технологии и системы" (ИТиС"11), стр. 353-356, Москва, 2011. ISBN: 978-5-901158-16-6

18. Ilya Shapirovsky and Andrey Kudinov. Finite model property of pretransitive analogs of S5. Topology, Algebra and Categories in Logic (TACL 2011), Marseille, 2011, conference proceedings, pp. 261-264. 

19. Philippe Balbiani and Andrey Kudinov. A topological interpretation of public announcement logic. Advances in Modal Logic 2010, Extended Abstracts, Moscow, pp 6-11.

20. А.Кудинов. И. Шапировский. Некоторые примеры модальных логик без конечной аксиоматики. Сборник статей конференции “Информационные технологии и системы” (ИТиС"10) стр. 258-262, Москва, 2010.

21. А.Кудинов. И. Шапировский. Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. Сборник статей конференции “Информационные технологии и системы" (ИТиС"09) стр. 411-415, Москва, 2009.

22. А.Кудинов. О топологической модальной логике R с неравенством, УМН, 2008, 63:1(379), 163–164

23. A. Kudinov. On topological modal logic of real line with difference modality. Algebraic and Topological Methods in Non-Classical Logics III, Oxford, 2007, abstracts.

24. A. Kudinov. Topological modal logics with difference modality. Advances in Modal Logic, Volume 6, pp 319-332, 2006

25. A. Kudinov. Topological modal logic with the difference modality. Computer
    science applications of modal logic, Independent University of Moscow,
    2005, abstracts, pp. 27-28.

26. A. Kudinov. Difference modality in topological spaces. Algebraic and Topological Methods in Non-classical Logics II, Barcelona, abstracts, pp.50-51, 2005. 

Тезисы докладов на конференциях:

1. A.Kudinov. Topological product of modal logics S4.1 and S4. Advances in Modal Logic (AiML), 2020, Short Papers, pp. 33-34.

2. R.Agamov, A. Kudinov. Product of neighborhood frames with additional common modality. Algebra and Categories in Logic (TACL 2019), Abstracts, pp 23-24.

3. A.Kudinov. Neighborhood-Kripke product of modal logics. Algebra and Categories in Logic (TACL 2017), Abstracts https://www.cs.cas.cz/tacl2017/abstracts/TACL_2017_paper_125.pdf

ВЫСТУПЛЕНИЯ НА КОНФЕРЕНЦИЯХ: 

1. Advances in Modal Logic, (AiML 2022) Topological product of S4.1 x S4. (short paper)

2. Advances in Modal Logic, (AiML 2022) On strictly positive fragments of modal logics with confluence. Joint work with Stanislav Kikot. (short paper)

3. Algebra and Categories in Logic (TACL 2019). Product of neighborhood frames with additional common modality, (Aghamov and Kudinov)

4. International Workshop on Topological Methods in Logic VI, July 2-6, 2018. Tbilisi, Georgia. Neighbourhood and topological completeness for quantified pretransitive modal logics

5. Algebra and Categories in Logic (TACL 2017), June 26–30, 2017, Prague, Czech Republic, Neighborhood-Kripke product of modal logics

6. Advances in Modal Logic, 30 August - 2 September, 2016, Budapest, Hungary, Neighbourhood products of pretransitive logics with S5

7. International Workshop on Topological Methods in Logic V, June 13-17, 2016, Tbilisi, Georgia, Topologies on pseudoinfinite paths

8. Algebra and Categories in Logic (TACL 2015), Finite model property of modal logics of finite depth.(Kudinov and Shapirovsky)

9. Advances in Modal Logic, August 5-8, 2014, Groningen, Netherlands.

10. International Workshop on Topological Methods in Logic IV, June 23-27, 2014, Tbilisi, Georgia

11. Informational Technologies and Systems 2013, 1-6 September, 2013, Kaliningrad, Russia.

12. Algebra and Categories in Logic (TACL 2013), Vanderbilt University, Nashville, USA, 28 July - 1 August, 2013.

13. Advances in Modal Logic, 2012, 22-25 August, Copenhagen, Denmark.

14. International Workshop on Topological Methods in Logic III, July 23-27, 2012, Tbilisi, Georgia

15. Московские чтения по конструктивной логике и представлению знаний, к 60-летию С. Н. Артёмова, 30—31 мая 2012, Москва

16. «Информационные технологии и системы» (ИТиС"11), 34-я конференция молодых ученых и специалистов ИППИ РАН, 2-8 октября 2011г.

17. Algebra and Categories in Logic (TACL 2011), Marseille, 2011

18. Advances in Modal Logic, 2010, 24-27 August, Moscow, Russia.

19.  «Информационные технологии и системы» (ИТиС"10), 33-я конференция молодых ученых и специалистов ИППИ РАН, 20-24 сентября 2010г.

20. «Информационные технологии и системы» (ИТиС"09)
    32-я конференция молодых ученых и специалистов ИППИ РАН
    15-18 декабря 2009г. 

21. Algebraic and Topological Methods in Non-Classical Logics III, 5–9 August, 2007,Oxford, UK.

22. Advances in Modal Logic, 25-28 September, 2006, Noosa, Australia. 

23. Computer science applications of modal logic, September 5-9, 2005, Moscow, Russia

24. Algebraic and Topological Methods in Non-classical Logics II, June 15-18, 2005, Barcelona, Spain.

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

2001-2004 аспирантура, МГУ, Механико-математический ф-т, отд. Математики, каф. Математической логики и теории алгоритмов

Диссертация: «Топологические модальные логики с модальностью неравенства» (под руководством проф. В.Б. Шехтмана) Автореферат

1996-2001 МГУ, Механико-математический ф-т, отд. Математики, каф. Математической логики и теории алгоритмов

Диплом: ­«О модальном операторе неравенства в топологических пространствах» (под руководством проф. В.Б. Шехтмана) 

1996 СУНЦ МГУ, физико-математический класс