Daniyar S. Shamkanov

According to our database, Daniyar S. Shamkanov authored at least 10 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

On algebraic and topological semantics of the modal logic of common knowledge S4CI.

Daniyar S. Shamkanov

Log. J. IGPL, January, 2024

2021

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.

Yury Savateev, Daniyar S. Shamkanov

Rev. Symb. Log., 2021

2020

Non-Well-Founded Derivations in the Gödel-löB Provability Logic.

Daniyar S. Shamkanov

Rev. Symb. Log., 2020

Global Neighbourhood Completeness of the Provability Logic <i>GLP</i>.

Daniyar S. Shamkanov

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.

Yury Savateev, Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Global Neighbourhood Completeness of the Gödel-Löb Provability Logic.

Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information, and Computation, 2017

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs.

Yury Savateev, Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information, and Computation, 2017

2015

Nested sequents for provability logic GLP.

Daniyar S. Shamkanov

Log. J. IGPL, 2015

2014

Circular Proofs for Gödel-Löb Logic.

Daniyar S. Shamkanov

CoRR, 2014

2011

Strong Normalization and Confluence for Reflexive Combinatory Logic.

Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information and Computation, 2011