×

zbMATH — the first resource for mathematics

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: 11 Publications since 2011

Co-Authors

7 single-authored
3 Savateev, Yury
1 Beklemishev, Lev D.

Publications by Year

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.
6
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
1
2011
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 06820479
Savateev, Yury; Shamkanov, Daniyar
1
2017
Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482
Shamkanov, Daniyar
1
2017
Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098
Shamkanov, Daniyar
1
2015
Cut-elimination for the modal grzegorczyk logic via non-well-founded proofs. Zbl 06820479
Savateev, Yury; Shamkanov, Daniyar
1
2017
Global neighbourhood completeness of the Gödel-Löb provability logic. Zbl 06820482
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
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.
6
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
1
2011

Citations by Year