Edit Profile Shamkanov, Daniyar S. Compute Distance To: Compute Author ID: shamkanov.daniyar-s Published as: Shamkanov, D. S.; Shamkanov, Daniyar; Shamkanov, Daniyar S. External Links: MGP · Wikidata · ORCID Documents Indexed: 9 Publications since 2011 Co-Authors 6 single-authored 2 Savateev, Yury 1 Beklemishev, Lev D. Serials 1 Mathematical Notes 1 Sbornik: Mathematics 1 Logic Journal of the IGPL 1 Proceedings of the Steklov Institute of Mathematics Fields 9 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 6 times in 5 Documents Cited by ▼ Year ▼ Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092Shamkanov, D. S. 4 2014 Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098Shamkanov, Daniyar 1 2015 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 1 2011 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. 4 2014 Interpolation properties for provability logics GL and GLP. Zbl 1294.03039Shamkanov, Daniyar S. 1 2011 Cited by 5 Authors 1 Kavvos, G. A. 1 Kurahashi, Taishi 1 Kuznets, Roman 1 Kuznetsov, Stepan L’vovich 1 Shamkanov, Daniyar S. Cited in 5 Serials 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 Sbornik: Mathematics 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science Cited in 2 Fields 5 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Citations by Year Wikidata Timeline