Strong Normalization and Confluence for Reflexive Combinatory Logic. - Daniyar S. Shamkanov (WoLLIC, 2011)

Circular Proofs for Gödel-Löb Logic. - Daniyar S. Shamkanov (CoRR, 2014)

Nested sequents for provability logic GLP. - Daniyar S. Shamkanov (Log. J. IGPL, 2015)

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. - Yury Savateev; Daniyar S. Shamkanov (WoLLIC, 2017)

Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. - Daniyar S. Shamkanov (WoLLIC, 2017)

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. - Yury Savateev; Daniyar S. Shamkanov (WoLLIC, 2019)

Global Neighbourhood Completeness of the Provability Logic GLP. - Daniyar S. Shamkanov (AiML, 2020)

Non-Well-Founded Derivations in the Gödel-löB Provability Logic. - Daniyar S. Shamkanov (Rev. Symb. Log., 2020)

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic. - Yury Savateev; Daniyar S. Shamkanov (Rev. Symb. Log., 2021)

On algebraic and topological semantics of the modal logic of common knowledge S4CI. - Daniyar S. Shamkanov (Log. J. IGPL, 2024)