Daniyar S. Shamkanov
- Associate Professor:Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)
- Daniyar S. Shamkanov has been at HSE University since 2012.
Education and Degrees
- 2012
Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
Lomonosov Moscow State University
Thesis Title: Interpolation properties of provability logics and normalization for terms of reflexive combinatory logic - 2008
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.
Courses (2022/2023)
- Foundations of Algebra and Geometry (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Algebraic Logic" (Optional course (faculty); 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 (2021/2022)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Mathematics; 1 year, 1 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 (2020/2021)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Mathematics; 1 year, 1 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 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); 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
- Discrete Mathematics (Bachelor’s programme; Faculty of Mathematics; 1 year, 1, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Research Seminar "Mathematics Practical Training" (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 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 (2018/2019)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Introduction to Topology (Bachelor’s programme; Faculty of Mathematics; 1 year, 2, 3 module)Rus
- Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Mathematics. Licenciatus (Bachelor’s programme; Faculty of Mathematics; 3 year, 4 module)Rus
- Research Seminar (Postgraduate course’s programme; 2 year, 1 semester)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 (2017/2018)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Introduction to Topology (Bachelor’s programme; Faculty of Mathematics; 1 year, 3 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; field of study "01.03.01. Математика", field of study "01.03.01. Математика"; 1 year, 1, 2 module)Rus
- Mathematical Practical Training 2 (Bachelor’s programme; Faculty of Mathematics; 2 year, 1-4 module)Rus
Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; field of study "01.03.01. Математика", field of study "01.03.01. Математика"; 1 year, 1-4 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 (2016/2017)
- Introduction to Topology (Bachelor’s programme; Faculty of Mathematics; 1 year, 3 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 1 year, 1, 2 module)Rus
Publications15
- Article Shamkanov D. S. On algebraic and topological semantics of the modal logic of common knowledge S4CI // Logic Journal of the IGPL. 2022 doi (in press)
- Article Yury Savateev, Daniyar Shamkanov. Non-well-founded proofs for the Grzegorczyk modal logic // Review of Symbolic Logic. 2021. Vol. 14. No. 1. P. 22-50. doi
- Chapter Shamkanov D. S. Global neighbourhood completeness of the provability logic GLP, in: Advances in Modal Logic Vol. 13. College Publications, 2020. P. 581-596.
- Article Shamkanov D. S. Non-well-founded derivations in the Gödel-Löb provability logic // Review of Symbolic Logic. 2020. Vol. 13. No. 4. P. 776-796. doi
- Chapter Savateev Y., Shamkanov D. S. Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 569-583. doi
- Preprint Savateev Y., Shamkanov D. S. Non-Well-Founded Proofs for the Grzegorczyk Modal Logic / Cornell University. Series arXiv "math". 2018.
- Chapter Шамканов Д. С. Циклические выводы в логике доказуемости Гёделя-Лёба // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 56-58.
- Article Shamkanov D. S. A realization theorem for the Gödel-Löb provability logic / Пер. с рус.: D. S. Shamkanov. // Sbornik Mathematics. 2016. Vol. 207. No. 9. P. 1344-1360. doi
- Chapter Beklemishev L. D., Shamkanov D. S. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, in: Liber Amicorum Alberti. A Tribute to Albert Visser. L. : College Publications, 2016. P. 15-29.
- Article Shamkanov D. S. Nested Sequents for Provability Logic GLP // Logic Journal of the IGPL. 2015. Vol. 23. No. 5. P. 789-815.
- Article Shamkanov D. S. Circular proofs for the Gödel–Löb provability logic / Пер. с рус. // Mathematical notes. 2014. Vol. 96. No. 4. P. 575-585. doi
- Article Shamkanov D. S. Interpolation properties for provability logics GL and GLP / Пер. с рус. // Proceedings of the Steklov Institute of Mathematics. 2011. Vol. 274. No. 1. P. 303-316.
- Chapter Shamkanov D. S. Strong normalization and confluence for reflexive combinatory logic, in: Logic, Language, Information, and Computation/2011 Vol. 6642. NY : Springer, 2011. P. 228-238.