Edit Profile Shamkanov, Daniyar S. Compute Distance To: Compute Author ID: shamkanov.daniyar-s Published as: Shamkanov, Daniyar; Shamkanov, Daniyar S.; Shamkanov, D. S. External Links: MGP · ORCID Documents Indexed: 11 Publications since 2011 Co-Authors 7 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 11 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 6 Publications have been cited 11 times in 8 Documents Cited by ▼ Year ▼ Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092Shamkanov, D. S. 6 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 1 2011 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 06820479Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482Shamkanov, Daniyar 1 2017 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098Shamkanov, Daniyar 1 2015 Cut-elimination for the modal grzegorczyk logic via non-well-founded proofs. Zbl 06820479Savateev, Yury; Shamkanov, Daniyar 1 2017 Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482Shamkanov, 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 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. 6 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 1 2011 all cited Publications top 5 cited Publications all top 5 Cited by 7 Authors 3 Shamkanov, Daniyar S. 1 Cheng, Yong 1 Kavvos, G. A. 1 Kurahashi, Taishi 1 Kuznets, Roman 1 Kuznetsov, Stepan L’vovich 1 Savateev, Yury 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 8 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year