Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Shamkanov, Daniyar Salkarbekovich
Total publications: 19 (19)
in MathSciNet: 11 (11)
in zbMATH: 6 (6)
in Web of Science: 9 (9)
in Scopus: 10 (10)
Cited articles: 9
Citations: 52
Presentations: 50

Number of views:
This page:2913
Abstract pages:2109
Full texts:471
References:208
Candidate of physico-mathematical sciences (2012)
E-mail:
Keywords: proof theory, nonclassical logics.

https://www.mathnet.ru/eng/person71410
https://scholar.google.com/citations?user=fExQPSkAAAAJ&hl=en
https://zbmath.org/authors/ai:shamkanov.daniyar-s
https://mathscinet.ams.org/mathscinet/MRAuthorID/979680
https://elibrary.ru/author_items.asp?spin=2216-1138
https://orcid.org/0000-0002-1421-9965
https://www.webofscience.com/wos/author/record/P-5451-2016
https://www.scopus.com/authid/detail.url?authorId=38562114000
https://www.researchgate.net/profile/Daniyar_Shamkanov

List of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2025
1. D. S. Shamkanov, “A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$”, Izv. RAN. Ser. Mat., 89:2 (2025) (to appear)  mathnet

   2024
2. 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  mathnet  crossref; 1
3. Daniyar Shamkanov, “On structural proof theory of the modal logic $K^+$ extended with infinitary derivations”, Log. J. IGPL, 2024, 1–46 (Published online) , arXiv: 2310.10309  mathnet  crossref; (Published online)

   2021
4. Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 14:1 (2021), 22–50  mathnet  crossref  mathscinet  isi  scopus; 5

   2020
5. 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
6. Daniyar Shamkanov, “Non-well-founded derivations in the Gödel-Löb provability logic”, Rev. Symb. Log., 13:4 (2020), 776–796  mathnet  crossref  mathscinet  isi  scopus; 1

   2019
7. Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, WoLLIC 2019: Logic, Language, Information, and Computation (International Workshop on Logic, Language, Information, and Computation), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 569–583  mathnet  crossref  mathscinet  zmath  scopus 1

   2018
8. Y. Savateev, D. Shamkanov, Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs, 2018 , 17 pp., arXiv: 1804.01432  mathscinet
9. Y. Savateev, D. Shamkanov, Non-Well-Founded Proofs for the Grzegorczyk Modal Logic, 2018 , 31 pp., arXiv: 1804.00955

   2017
10. 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  mathnet  crossref  mathscinet  isi  scopus 3
11. 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  mathnet  crossref  mathscinet  isi  scopus

   2016
12. D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360  mathnet  crossref  crossref  mathscinet  zmath  zmath  adsnasa  isi  elib  elib  scopus
13. 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–29 url, arXiv: 1602.05728  mathscinet  zmath

   2015
14. Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815  mathnet  crossref  mathscinet  isi  elib  scopus 5

   2014
15. D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585  mathnet  crossref  crossref  mathscinet  zmath  isi  elib  elib  scopus
16. 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–243 http://www.jstor.org/stable/23800717
17. 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

   2011
18. Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316  mathnet  crossref  mathscinet  isi  elib  elib  scopus
19. 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  crossref  mathscinet  zmath  isi  scopus

Presentations in Math-Net.Ru
1. О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
D. S. Shamkanov, P. Razumny
Seminars "Proof Theory" and "Logic Online Seminar"
March 18, 2024 18:30   
2. Lecture 13. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
December 12, 2023 18:30   
3. Lecture 12. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
December 5, 2023 18:30   
4. Lecture 11. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
November 28, 2023 18:30   
5. Lecture 10. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
November 21, 2023 18:30   
6. Lecture 9. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
November 14, 2023 18:30   
7. Lecture 8. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
November 7, 2023 18:30   
8. Lecture 7. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
October 24, 2023 18:30   
9. Lecture 6. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
October 17, 2023 18:30   
10. Lecture 5. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
October 10, 2023 18:30   
11. Lecture 4. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
October 3, 2023 18:30   
12. Lecture 3. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
September 26, 2023 18:30   
13. Lecture 2. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
September 19, 2023 18:30   
14. Lecture 1. Neighbourhood semantics of modal logics
A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
September 12, 2023 18:30   
15. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs
Pavel Razumnyy, Daniyar Shamkanov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 15, 2023 16:30   
16. On cyclic proofs in classical first order arithmetic with inductive definitions (continuation)
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
October 24, 2022 18:30   
17. On cyclic proofs in classical first order arithmetic with inductive definitions
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
October 17, 2022 18:30   
18. Lecture 14. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
December 14, 2020 16:30   
19. Lecture 13. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
December 7, 2020 16:30   
20. Lecture 12. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 30, 2020 16:30   
21. Lecture 11. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 23, 2020 16:30   
22. Lecture 10. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 9, 2020 16:30   
23. Lecture 9. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 2, 2020 16:30   
24. Lecture 8. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 26, 2020 16:30   
25. Lecture 7. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 19, 2020 16:30   
26. Lecture 6. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 12, 2020 16:30   
27. Lecture 5. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 5, 2020 16:30   
28. Lecture 4. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 28, 2020 16:30   
29. Lecture 3. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 21, 2020 16:30   
30. Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 14, 2020 16:30   
31. Лекция 1. Циклические выводы в логике Гёделя-Лёба
D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 7, 2020 16:00   
32. О глобальной окрестностной полноте логики доказуемости GLP
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
June 22, 2020 17:30   
33. On a neighborhood semantics of Lindström provability logic
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
December 9, 2019 18:30   
34. Об устранении сечения для системы $K^+$
D. S. Shamkanov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 16:35   
35. Об устранении сечения для модальной логики транзитивного замыкания
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
April 28, 2018 18:30
36. Логика Кузнецова-Муравицкого и семантика компьютерных языков
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 12, 2017 18:30
37. Global completeness of the Gödel-Löb provability logic with respect to its topological semantics
D. S. Shamkanov
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2017
November 29, 2017 11:30   
38. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 10, 2017 18:30
39. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 14, 2017 18:30
40. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 22, 2016 18:30
41. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
May 23, 2016
42. Формальная арифметика на базе логики без правила сокращения
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 29, 2016 18:30
43. Lambda calculus, or computational proof theory. Lecture 10
D. S. Shamkanov
Special course "Lambda calculus, or computational proof theory", 2015
April 22, 2015 18:00   
44. On the proof theory of modal logic extended with the least fixed-point operator (Part 2)
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 25, 2014 18:30
45. On the proof theory of modal logic extended with the least fixed-point operator
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 18, 2014 18:30
46. Циклические выводы для логики доказуемости Гёделя–Лёба
D. S. Shamkanov
Scientific session of the Steklov Mathematical Institute dedicated to the results of 2014
November 12, 2014 12:15   
47. Circular proofs for provability logic
D. S. Shamkanov
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 12:15
48. A sequent сalculus for Japaridze's polymodal provability logic
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 20, 2012 18:30
49. A sequent сalculus for Gödel-Löb logic
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 13, 2012 18:30
50. One-rule term rewriting system with undecidable termination problem
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 9, 2012 18:30

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024