Edit Profile (opens in new tab) Shamkanov, Daniyar S. Co-Author Distance Author ID: shamkanov.daniyar-s Published as: Shamkanov, Daniyar; Shamkanov, Daniyar S.; Shamkanov, D. S. more...less External Links: MGP · ORCID Documents Indexed: 15 Publications since 2011, including 3 Additional arXiv Preprints Co-Authors: 2 Co-Authors with 4 Joint Publications 95 Co-Co-Authors Co-Authors 11 single-authored 3 Savateev, Yury 1 Beklemishev, Lev D. Serials 2 The Review of Symbolic Logic 1 Mathematical Notes 1 Sbornik: Mathematics 1 Logic Journal of the IGPL 1 Proceedings of the Steklov Institute of Mathematics Fields 13 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 25 times in 20 Documents Cited by ▼ Year ▼ Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092 Shamkanov, D. S. 11 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039 Shamkanov, Daniyar S. 5 2011 Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086 Savateev, Yury; Shamkanov, Daniyar 2 2021 Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948 Savateev, Yury; Shamkanov, Daniyar 1 2019 Non-well-founded derivations in the Gödel-Löb provability logic. Zbl 1486.03099 Shamkanov, Daniyar 1 2020 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098 Shamkanov, Daniyar 1 2015 Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Zbl 1496.03085 Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 1496.03249 Shamkanov, Daniyar 1 2017 A realization theorem for the Gödel-Löb provability logic. Zbl 1522.03043 Shamkanov, Daniyar S. 1 2016 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175 Beklemishev, Lev; Shamkanov, Daniyar 1 2016 Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086 Savateev, Yury; Shamkanov, Daniyar 2 2021 Non-well-founded derivations in the Gödel-Löb provability logic. Zbl 1486.03099 Shamkanov, Daniyar 1 2020 Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948 Savateev, Yury; Shamkanov, Daniyar 1 2019 Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Zbl 1496.03085 Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 1496.03249 Shamkanov, Daniyar 1 2017 A realization theorem for the Gödel-Löb provability logic. Zbl 1522.03043 Shamkanov, Daniyar S. 1 2016 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175 Beklemishev, Lev; Shamkanov, Daniyar 1 2016 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098 Shamkanov, Daniyar 1 2015 Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092 Shamkanov, D. S. 11 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039 Shamkanov, Daniyar S. 5 2011 all cited Publications top 5 cited Publications all top 5 Cited by 27 Authors 3 Afshari, Bahareh 3 Shamkanov, Daniyar S. 2 Leigh, Graham Emil 1 Akbar Tabatabai, Amirhossein 1 Atserias, Albert 1 Baur, Michael 1 Beklemishev, Lev D. 1 Cheng, Yong 1 Fernández Duque, David 1 Goré, Rajeev Prabhakar 1 Iemhoff, Rosalie 1 Iwata, Sohei 1 Jalali, Raheleh 1 Joosten, Joost J. 1 Kavvos, G. A. 1 Kurahashi, Taishi 1 Kuznets, Roman 1 Kuznetsov, Stepan L’vovich 1 Lauria, Massimo 1 Menéndez Turata, Guillermo 1 Petrukhin, Yaroslav Igorevich 1 Ramanayake, Revantha 1 Rooduijn, Jan 1 Savateev, Yury 1 Shillito, Ian 1 Studer, Thomas 1 Wehr, Dominik all top 5 Cited in 11 Serials 2 The Review of Symbolic Logic 1 Studia Logica 1 Bulletin of the Section of Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 ACM Transactions on Computational Logic 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science Cited in 2 Fields 17 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) Citations by Year