Daniyar S. Shamkanov

Publications¹⁵

• 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 Savateev Y., Shamkanov D. S. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs, in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Springer, 2017. doi P. 321-335. doi
• Chapter Shamkanov D. S. Global neighbourhood completeness of the Gödel-Löb provability logic, in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Springer, 2017. doi P. 358-370. doi
• 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.