×

Shamkanov, Daniyar S.

Compute Distance To:
Author ID: shamkanov.daniyar-s Recent zbMATH articles by "Shamkanov, Daniyar S."
Published as: Shamkanov, Daniyar; Shamkanov, Daniyar S.; Shamkanov, D. S.
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.

Publications by Year

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.03092
Shamkanov, D. S.
9
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
3
2011
Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948
Savateev, Yury; Shamkanov, Daniyar
1
2019
Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098
Shamkanov, Daniyar
1
2015
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
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 06678891
Shamkanov, Daniyar S.
1
2016
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
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
A realization theorem for the Gödel-Löb provability logic. Zbl 06678891
Shamkanov, Daniyar S.
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.
9
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
3
2011

Citations by Year