ИСТИНА

Кудинов Андрей Валерьевич

кандидат физико-математических наук

Федеральное государственное бюджетное учреждение науки Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, Лаборатория №13 “Алгебра и теория чисел”, старший научный сотрудник

Соавторы: Шапировский И.Б., Шехтман В.Б., Balbiani P.

13 статей, 1 доклад на конференции, 2 тезисов докладов, 3 НИР, 1 диссертация

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

IstinaResearcherID (IRID): 8268333

Деятельность

• Статьи в журналах

  • 
    • 2008 Topological modal logic of R with inequality
    • Kudinov Andrey
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 63, № 1, с. 163-165
  • • 2008 О топологической модальной логике R с неравенством
    • Кудинов А.В.
    • в журнале Успехи математических наук, издательство Наука (М.), том 63, № 1 (379), с. 163-164 DOI

• Статьи в сборниках

  • • 2020 Topological product of modal logics S4.1 and S4 (short paper)
    • Kudinov Andrey
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 33-36
  • • 2014 Derivational modal logics with the difference modality
    • Kudinov Andrey, Shehtman Valentin
    • в сборнике Leo Esakia on Duality in Modal and Intuitionistic Logics, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 4, с. 10-291 DOI
  • 
    • 2014 Neighbourhood frame product KxK
    • Kudinov Andrey
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publication London, том 10, с. 373-386
  • • 2014 О полноте предтранзитивных логик конечной глубины
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’14), место издания ИППИ РАН Москва, с. 534-542
  • • 2012 Modal logic of some products of neighbourhood frames
    • Kudinov Andrey
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 9, с. 386-394
  • • 2012 On Modal Logics of Hamming Spaces
    • Kudinov Andrey, Shapirovsky Ilya, Shehtman Valentin
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 9, с. 395-410
  • • 2011 Финитная аппроксимируемость предтранзитивных аналогов S5
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’11), место издания ИППИ РАН Москва, с. 353-356
  • • 2010 A topological interpretation of public announcement logic
    • Kudinov Andrey, Balbiani Philippe
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 8, с. 386-394
    • редакторы Goranko Valentin, Беклемишев Лев Дмитриевич, Шехтман Валентин Борисович
  • • 2010 Некоторые примеры модальных логик без конечной аксиоматики
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’10), место издания ИППИ РАН Москва, с. 258-262
  • • 2009 Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’09), место издания ИППИ РАН Москва, с. 411-415
  • 
    • 2006 Topological modal logics with difference modality
    • Kudinov Andrey
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 319-332

• Доклады на конференциях

  • • 2020 Topological product of modal logics S4.1 and S4 (Устный)
    • Автор: Kudinov Andrey
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020

• Тезисы докладов

  • • 2017 Neighborhood-Kripke product of modal logics
    • Kudinov Andrey
    • в сборнике 8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017), серия TACL, тезисы, с. 1-2
  • • 2011 Finite model property of pretransitive analogs of S5
    • Kudinov Andrey, Shapirovsky Ilya
    • в сборнике 5th International Conference on Topology, Algebra and Categories in Logic (TACL 2011), серия TACL, тезисы, с. 261-264

• НИРы

  • • 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
  • • 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.
  • • 1 января 2011 - 31 декабря 2013 Исследование разрешимых фрагментов модальных и алгебраических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.

• Диссертация

  • • 2008 Топологические модальные логики с модальностью неравенства
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Кудинов Андрей Валерьевич, к.ф.-м.н.
    • Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Чагров Александр Васильевич, Яворский Ростислав Эдуардович