Edit Profile (opens in new tab) Shamkanov, Daniyar S. Compute Distance To: Compute Author ID: shamkanov.daniyar-s Published as: Shamkanov, Daniyar; Shamkanov, Daniyar S.; Shamkanov, D. S. more...less External Links: MGP · ORCID Documents Indexed: 12 Publications since 2011 Co-Authors: 2 Co-Authors with 4 Joint Publications 78 Co-Co-Authors Co-Authors 8 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 12 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 18 times in 14 Documents Cited by ▼ Year ▼ Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092Shamkanov, D. S. 9 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 3 2011 Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948Savateev, Yury; Shamkanov, Daniyar 1 2019 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098Shamkanov, Daniyar 1 2015 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175Beklemishev, Lev; Shamkanov, Daniyar 1 2016 Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Zbl 1496.03085Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 1496.03249Shamkanov, Daniyar 1 2017 A realization theorem for the Gödel-Löb provability logic. Zbl 06678891Shamkanov, Daniyar S. 1 2016 Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948Savateev, Yury; Shamkanov, Daniyar 1 2019 Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Zbl 1496.03085Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 1496.03249Shamkanov, Daniyar 1 2017 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175Beklemishev, Lev; Shamkanov, Daniyar 1 2016 A realization theorem for the Gödel-Löb provability logic. Zbl 06678891Shamkanov, Daniyar S. 1 2016 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098Shamkanov, Daniyar 1 2015 Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092Shamkanov, D. S. 9 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 3 2011 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 3 Shamkanov, Daniyar S. 1 Afshari, Bahareh 1 Akbar Tabatabai, Amirhossein 1 Baur, Michael 1 Cheng, Yong 1 Goré, Rajeev Prabhakar 1 Iemhoff, Rosalie 1 Iwata, Sohei 1 Jalali, Raheleh 1 Kavvos, G. A. 1 Kurahashi, Taishi 1 Kuznets, Roman 1 Kuznetsov, Stepan L’vovich 1 Leigh, Graham Emil 1 Menéndez Turata, Guillermo 1 Ramanayake, Revantha 1 Rooduijn, Jan 1 Savateev, Yury 1 Shillito, Ian 1 Studer, Thomas all top 5 Cited in 7 Serials 2 The Review of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science Cited in 2 Fields 11 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) Citations by Year