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
* Candidate of Sciences
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.
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 (2023/2024)
- Introduction to Categorical 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 (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
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
Publications18
- Preprint Shamkanov D. S. A realization theorem for the modal logic of transitive closure K+ / Cornell University. Series arXiv "math". 2024. doi
- Article Shamkanov D. S. On algebraic and topological semantics of the modal logic of common knowledge S4CI // Logic Journal of the IGPL. 2024. Vol. 32. No. 1. P. 164-179. doi
- Preprint Shamkanov D. S. On structural proof theory of the modal logic K+ extended with infinitary derivations / Cornell University. Series arXiv "math". 2023. doi
- Chapter Разумный П. М., Shamkanov D. S. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 64-66.
- 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.