×

Shamkanov, Daniyar S.

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: 15 Publications since 2011, including 3 Additional arXiv Preprints
Co-Authors: 2 Co-Authors with 4 Joint Publications
95 Co-Co-Authors

Co-Authors

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

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 25 times in 20 Documents Cited by Year
Circular proofs for the Gödel-Löb provability logic. Zbl 1329.03092
Shamkanov, D. S.
11
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
5
2011
Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086
Savateev, Yury; Shamkanov, Daniyar
2
2021
Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. Zbl 07176948
Savateev, Yury; Shamkanov, Daniyar
1
2019
Non-well-founded derivations in the Gödel-Löb provability logic. Zbl 1486.03099
Shamkanov, Daniyar
1
2020
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 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 1522.03043
Shamkanov, Daniyar S.
1
2016
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175
Beklemishev, Lev; Shamkanov, Daniyar
1
2016
Non-well-founded proofs for the Grzegorczyk modal logic. Zbl 1496.03086
Savateev, Yury; Shamkanov, Daniyar
2
2021
Non-well-founded derivations in the Gödel-Löb provability logic. Zbl 1486.03099
Shamkanov, Daniyar
1
2020
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
A realization theorem for the Gödel-Löb provability logic. Zbl 1522.03043
Shamkanov, Daniyar S.
1
2016
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.
11
2014
Interpolation properties for provability logics GL and GLP. Zbl 1294.03039
Shamkanov, Daniyar S.
5
2011

Citations by Year