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

Публикаций: 9 (9)
в MathSciNet: 7 (7)
в zbMATH: 7 (7)
в Web of Science: 8 (8)
в Scopus: 6 (6)
Цитированных статей: 2
Цитирований в Math-Net.Ru: 4
Цитирований в Web of Science: 3
Цитирований в Scopus: 6
Лекций и докладов: 2

Статистика просмотров:
Эта страница:1305
Страницы публикаций:931
Полные тексты:229
Списки литературы:149
кандидат физико-математических наук
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 19.01.1979
E-mail: ,

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

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


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

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



   2018
1. 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

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

   2016
3. А. В. Кудинов, И. Б. Шапировский, “О финитной аппроксимируемости модальных логик конечной глубины”, УМН, 71:1(427) (2016), 175–176  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib  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  isi  elib  scopus  scopus

   2014
4. 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
5. 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
6. 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

   2012
7. 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
8. A. V. Kudinov, “Modal logic of some products of neighborhood frames”, Advances in Modal Logic, 9, 2012, 386–394  mathnet  mathscinet  zmath  isi

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

Доклады и лекции в базе данных Math-Net.Ru
1. Топологические модальные логики прямой
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
14 марта 2017 г. 18:30
2. Об одной старой просто формулируемой нерешенной задаче в модальной логике
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
2 декабря 2014 г.

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