Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кудинов Андрей Валерьевич

В базах данных Math-Net.Ru
в MathSciNet: 7 (7)
в zbMATH: 8 (8)
в Web of Science: 8 (8)
в Scopus: 5 (5)
кандидат физико-математических наук
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 19.01.1979
E-mail: ,

Основные темы научной работы

Модальная логика, пространсвенная логика, сложность вычислений.


https://www.mathnet.ru/rus/person30127
https://scholar.google.com/citations?user=9fkvQdsAAAAJ&hl=ru
https://zbmath.org/authors/ai:kudinov.andrey
https://mathscinet.ams.org/mathscinet/MRAuthorID/832419
https://orcid.org/0000-0003-0162-2306
https://www.webofscience.com/wos/author/record/B-4654-2016

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. А. В. Кудинов, “Топологическое произведение модальных логик с аксиомой Mаккинси”, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 84–91  mathnet  crossref  elib; A. V. Kudinov, “Topological product of modal logics with the McKinsey axiom”, Dokl. Math., 515:1 (2024), 66–72  crossref

   2018
2. Andrey Kudinov, “On neighbourhood product of some Horn axiomatizable logics”, Log. J. IGPL, 26:3 (2018), 316–338 , arXiv: 1609.03232  mathnet  crossref  mathscinet  isi  scopus 2

   2017
3. А. В. Кудинов, И. Б. Шапировский, “О разбиениях шкал Крипке конечной высоты”, Изв. РАН. Сер. матем., 81:3 (2017), 134–159  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math., 81:3 (2017), 592–617  crossref  mathscinet  zmath  isi  elib  scopus 2

   2016
4. А. В. Кудинов, И. Б. Шапировский, “О финитной аппроксимируемости модальных логик конечной глубины”, УМН, 71:1(427) (2016), 175–176  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys, 71:1 (2016), 164–166  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus

   2014
5. Andrey Kudinov, Valentin Shehtman, “Derivational modal logics with the difference modality”, Leo Esakia on duality in modal and intuitionistic logics, Outst. Contrib. Log., 4, Springer, Dordrecht, 2014, 291–334  mathnet  crossref  zmath 7
6. Andrey Kudinov, “Neighbourhood frame product $K\times K$”, Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014, Advances in Modal Logic, 10, College Publications, London, 2014, 373–386  mathnet  mathscinet  zmath  isi

   2013
7. Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov, “Subset space logic with arbitrary announcements”, Indian Conference on Logic and Its Applications (ICLA 2013), Chennai, India, January 10–12, 2013, Lecture Notes in Comput. Sci., 7750, Springer, Berlin, 2013, 233–244  mathnet  crossref  mathscinet  zmath  isi  scopus 18

   2012
8. Andrey Kudinov, Ilya Shapirovsky, Valentin Shehtman, “On modal logics of Hamming spaces”, Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, Advances in Modal Logic, 9, College Publications, London, 2012, 395–410  mathnet  zmath  isi
9. A. V. Kudinov, “Modal logic of some products of neighborhood frames”, Advances in Modal Logic, 9, 2012, 386–394  mathnet  mathscinet  zmath  isi

   2008
10. А. В. Кудинов, “О топологической модальной логике $\mathbb R$ с неравенством”, УМН, 63:1(379) (2008), 163–164  mathnet  crossref  mathscinet  zmath  isi  elib; A. V. Kudinov, “Topological modal logic of $\mathbb R$ with inequality”, Russian Math. Surveys, 63:1 (2008), 163–165  crossref  mathscinet  zmath  isi  elib  scopus 6

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 15. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
24 декабря 2024 г. 18:00
2. Лекция 14. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
17 декабря 2024 г. 18:00   
3. Лекция 13. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
10 декабря 2024 г. 18:00   
4. Лекция 12. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
3 декабря 2024 г. 18:00   
5. Лекция 11. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
26 ноября 2024 г. 18:00   
6. Лекция 10. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
19 ноября 2024 г. 18:00   
7. Лекция 9. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
12 ноября 2024 г. 18:00   
8. Лекция 8. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
5 ноября 2024 г. 18:00   
9. Лекция 7. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
29 октября 2024 г. 18:00   
10. Лекция 6. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
22 октября 2024 г. 18:00   
11. Лекция 5. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
15 октября 2024 г. 18:00   
12. Лекция 4. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
1 октября 2024 г. 18:00   
13. Лекция 3. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
24 сентября 2024 г. 18:00   
14. Лекция 2. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
17 сентября 2024 г. 18:00   
15. Лекция 1. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
10 сентября 2024 г. 18:00   
16. Сложность ненормальных логик и логики с подсчетом применения аксиом
А. В. Кудинов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
27 мая 2024 г. 18:30   
17. Лекция 13. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
12 декабря 2023 г. 18:30   
18. Лекция 12. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
5 декабря 2023 г. 18:30   
19. Лекция 11. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
28 ноября 2023 г. 18:30   
20. Лекция 10. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
21 ноября 2023 г. 18:30   
21. Лекция 9. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
14 ноября 2023 г. 18:30   
22. Лекция 8. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
7 ноября 2023 г. 18:30   
23. Лекция 7. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
24 октября 2023 г. 18:30   
24. Лекция 6. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
17 октября 2023 г. 18:30   
25. Лекция 5. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
10 октября 2023 г. 18:30   
26. Лекция 4. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
3 октября 2023 г. 18:30   
27. Лекция 3. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
26 сентября 2023 г. 18:30   
28. Лекция 2. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
19 сентября 2023 г. 18:30   
29. Лекция 1. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
12 сентября 2023 г. 18:30   
30. Many-dimensional modal logics for neighborhood semantics
Andrey Kudinov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 12:00   
31. Лекция 13. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
15 мая 2023 г. 14:45   
32. Лекция 12. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
24 апреля 2023 г. 14:45   
33. Лекция 11. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
17 апреля 2023 г. 14:45   
34. Лекция 10. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
10 апреля 2023 г. 14:45   
35. Лекция 9. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
3 апреля 2023 г. 14:45   
36. Лекция 8. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
27 марта 2023 г. 14:45   
37. Лекция 7. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
20 марта 2023 г. 14:45   
38. Лекция 6. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
13 марта 2023 г. 14:45   
39. Лекция 5. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
6 марта 2023 г. 14:45   
40. Лекция 4. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
27 февраля 2023 г. 14:45   
41. Лекция 3. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
20 февраля 2023 г. 14:45   
42. Лекция 2. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
13 февраля 2023 г. 14:45   
43. Лекция 1. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
6 февраля 2023 г. 14:45   
44. Строго позитивные фрагменты модальных логик с направленностью
А. В. Кудинов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 ноября 2022 г. 18:30   
45. Топологические модальные логики прямой
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
14 марта 2017 г. 18:30
46. Об одной старой просто формулируемой нерешенной задаче в модальной логике
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
2 декабря 2014 г.

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024