L. D. Beklemishev, D. S. Shamkanov, I. N. Smirnov, “Fragments of arithmetic and cyclic proofs”, Mat. Sb.
3.
D. Shamkanov, (Non-)well-founded derivations in the provability logic GLP, 2025 , 37 pp., arXiv: 2504.01388
4.
Daniyar Shamkanov, “On algebraic and topological semantics of the modal logic of common knowledge $S4^C_I$”, Log. J. IGPL, 32:1 (2024), 164–179 , arXiv: 2111.05676
Daniyar Shamkanov, “On structural proof theory of the modal logic $K^+$ extended with infinitary derivations”, Log. J. IGPL, 2024, jzae121 , 46 pp., arXiv: 2310.10309
Daniyar Shamkanov, “Global neighbourhood completeness of the provability logic GLP”, Advances in Modal Logic (Helsinki, Finland, August 24–28, 2020), Advances in Modal Logic, 13, eds. Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, College Publications, London, 2020, 581–596
8.
Daniyar Shamkanov, “Non-well-founded derivations in the Gödel-Löb provability logic”, Rev. Symb. Log., 13:4 (2020), 776–796
Y. Savateev, D. Shamkanov, Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs, 2018 , 17 pp., arXiv: 1804.01432
11.
Y. Savateev, D. Shamkanov, Non-Well-Founded Proofs for the Grzegorczyk Modal Logic, 2018 , 31 pp., arXiv: 1804.00955
12.
Yury Savateev, Daniyar Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 321–336
Daniyar Shamkanov, “Global neighbourhood completeness of the Gödel-Löb provability logic”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 358–371
14.
D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360
15.
Lev Beklemishev, Daniyar Shamkanov, “Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics”, Liber Amicorum Alberti: A tribute to Albert Visser, Tributes, 30, eds. Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, College Publications, London, 2016, 15–29url, arXiv: 1602.05728
16.
Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815
D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585
18.
Daniyar Shamkanov, “Circular proofs for provability logic”, LOGIC COLLOQUIUM '13 (Evora, Portugal, July 22–27, 2013), The Bulletin of Symbolic Logic, 20, no. 2, 2014, 242–243http://www.jstor.org/stable/23800717
19.
D. Shamkanov, “Nested sequents for provability logic GLP”, Proof Theory, Modal Logic and Reflection Principles (Mexico City, Mexico, September 29 – October 2, 2014), Instituto Tecnologico Autonomo de Mexico, Mexico City, 2014, 20
20.
Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316
21.
D. S. Shamkanov, “Strong normalization and confluence for reflexive combinatory logic”, Logic, language, information and computation, 18th international workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Computer Science, 6642, eds. L. D. Beklemishev et al., Springer, Berlin, 2011, 228–238
Об устранении сечения для системы $K^+$ D. S. Shamkanov Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic" December 25, 2018 16:35
