# zbMATH — the first resource for mathematics

## Shamkanov, Daniyar S.

Compute Distance To:
 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)

#### 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.03092
Shamkanov, D. S.
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
2011
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
2016
Cut-elimination for the modal grzegorczyk logic via non-well-founded proofs. Zbl 06820479
Savateev, Yury; Shamkanov, Daniyar
2017
Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482
Shamkanov, Daniyar
2017
Nested sequents for provability logic $$\mathsf{GLP}$$. Zbl 1405.03098
Shamkanov, Daniyar
2015
Cut-elimination for the modal grzegorczyk logic via non-well-founded proofs. Zbl 06820479
Savateev, Yury; Shamkanov, Daniyar
2017
Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482
Shamkanov, Daniyar
2017
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
2016
Nested sequents for provability logic $$\mathsf{GLP}$$. Zbl 1405.03098
Shamkanov, Daniyar
2015
Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092
Shamkanov, D. S.
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
2011
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)