Daniyar Shamkanov

Identifiers

• name variant Daniyar Shamkanov 0.60 · backfill

Papers (6)

1. Cyclic proofs in the equational version of Primitive recursive arithmetic math.LO · 2026 · author #1
2. Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs math.LO · 2018 · author #2
3. Non-Well-Founded Proofs for the Grzegorczyk Modal Logic math.LO · 2018 · author #2
4. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs math.LO · 2017 · author #2
5. Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics math.LO · 2016 · author #2
6. Circular Proofs for G\"odel-L\"ob Logic math.LO · 2014 · author #1

Mentions

• 2606.07166 #1 · arxiv_oai · confidence 0.70 Daniyar Shamkanov
• 1401.4002 #1 · backfill · confidence 0.70 Daniyar Shamkanov

Frequent Coauthors

• Yury Savateev 3 shared papers
• Lev Beklemishev 1 shared papers