Andrey Kudinov
- Associate Professor:Faculty of Mathematics / Joint Department with the Kharkevich Institute for Information Transmission Problems (RAS)
- Andrey Kudinov has been at HSE University since 2012.
Education and Degrees
- 2008
Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
Lomonosov Moscow State University - 2001
Degree
Lomonosov Moscow State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Scientific interests
Modal logic, topological and neighborhood semantics, epistemic logic, algorithmic complexity
Courses (2023/2024)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); 3, 4 module)Rus
- Past Courses
Courses (2022/2023)
- Elements of Mathematical Logic (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Algebraic Logic" (Optional course (faculty); 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); 3, 4 module)Rus
Courses (2020/2021)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Mathematics. Licenciatus (Bachelor’s programme; Faculty of Mathematics; 3 year, 4 module)Rus
- Research Seminar "Elements of Mathematical Logic" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2019/2020)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Grants
Russian Science Foundation (RSF) 21-11-00318
Academic Fund Program at HSE University (grant No.21-04-027)
Academic Fund Program at HSE University (grant No.19-04-050)
Russian Science Foundation (RSF) 16-11-10252
RFBR А-16-01-00615
RFBR НЦНИЛ_а 14-01-93105
RFBR mol_а 14-01-31442 (Leader)
Conferences
- 2016Advances in Modal Logic (Будапешт). Presentation: Neighbourhood products of pretransitive logics with S5
- 2014
Advances in Modal Logic 2014 (Гронинген). Presentation: Neighbourhood frame product KxK
- International Workshop on Topological Methods in Logic IV (Тбилиси). Presentation: Modal logic of products of neighborhood frames
- 2013Topology, Algebra, and Categories in Logic 2013 (Нэшвилл). Presentation: Derivational modal logic of real line with difference modality
Publications18
- Article Kikot S., Kudinov A. On Strictly Positive Fragments of Modal Logics with Confluence // Mathematics. 2022. Vol. 10. No. 19. Article 3701. doi
- Article Kudinov A. On neighbourhood product of some Horn axiomatizable logics // Logic Journal of the IGPL. 2018. Vol. 26. No. 3. P. 316-338. doi
- Article Кудинов А. В., Шапировский И. Б. О разбиениях шкал Крипке конечной высоты // Известия РАН. Серия математическая. 2017. Т. 81. № 3. С. 134-159. doi
- Article Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости модальных логик конечной глубины // Успехи математических наук. 2016. Т. 71. № 1. С. 175-176. doi
- Chapter Kudinov A., Shehtman V. B. Derivational Modal Logics with the Difference Modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. P. 291-334.
- Chapter Kudinov A., Shehtman V. B. Derivational modal logics with the difference modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. Ch. 11. P. 291-334.
- Chapter Kudinov A. Neighbourhood Frame Product KxK, in: Advances in Modal Logic. Volume 10. College Publications, 2014. P. 373-386.
- Chapter Kudinov A., Balbiani P., Hans v. D. Subset Space Logic with Arbitrary Announcements, in: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Berlin : Springer, 2013. P. 233-244.
- Chapter Kudinov A. Modal logic of some products of neighbourhood frames, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 286-294.
- Chapter Kudinov A., Shehtman V. B., Shapirovsky I. On modal logics of Hamming spaces, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 395-410.
- Chapter Kudinov A., Shapirovsky I. Finite model property of pretransitive analogs of S5, in: Topology, Algebra and Categories in Logic (TACL 2011). Marseille : , 2011. P. 261-264.
- Chapter Кудинов А. В. Модальная логика R с модальностью неравенства // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11). М. : ИППИ РАН, 2011. С. 335-339.
- Chapter Кудинов А. В., Шапировский И. Б. Финитная аппроксимируемость предтранзитивных аналогов S5 // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11). М. : ИППИ РАН, 2011. С. 353-356.
- Chapter Kudinov A., Balbiani P. A topological interpretation of public announcement logic, in: Advances in Modal Logic 2010, Extended Abstracts / Ed. by L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L. : College Publications, 2010. P. 6-11.
- Chapter Кудинов А. В., Шапировский И. Б. Некоторые примеры модальных логик без конечной аксиоматики // В кн.: Сборник статей конференции “Информационные технологии и системы” (ИТиС'10). М. : ИППИ РАН, 2010. С. 258-262.
- Chapter Кудинов А. В., Шапировский И. Б. Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'09). М. : ИППИ РАН, 2009. С. 411-415.
- Article Кудинов А. В. О топологической модальной логике R с неравенством // Успехи математических наук. 2008. Т. 63. № 1 (379). С. 163-164.
- Chapter Kudinov A. Topological modal logics with difference modality, in: Advances in Modal Logic, Volume 6. L. : College Publications, 2006. P. 319-332.