Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Shamkanov, Daniyar Salkarbekovich

Total publications: 16 (16)
in MathSciNet: 10 (10)
in zbMATH: 5 (5)
in Web of Science: 9 (9)
in Scopus: 10 (10)
Cited articles: 7
Citations in Math-Net.Ru: 16
Citations in MathSciNet: 15
Citations in Web of Science: 23
Citations in Scopus: 31
Presentations: 33

Number of views:
This page:1996
Abstract pages:1116
Full texts:223
References:123
Candidate of physico-mathematical sciences (2012)
E-mail:
Keywords: proof theory, nonclassical logics.

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

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |



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

   2020
2. 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
3. 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;

   2019
4. 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

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

   2017
7. 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 (cited: 2)  scopus (cited: 3)
8. 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 (cited: 1)  scopus (cited: 1)

   2016
9. 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  adsnasa  isi (cited: 2)  elib  elib  scopus (cited: 4)
10. 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
11. Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815  mathnet  crossref  mathscinet  isi (cited: 3)  elib  scopus (cited: 4)

   2014
12. 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 (cited: 12)  elib (cited: 1)  elib (cited: 1)  scopus (cited: 17)
13. 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
14. 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
15. Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316  mathnet  crossref  mathscinet  isi (cited: 3)  elib  elib  scopus (cited: 1)
16. 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 (cited: 1)

Presentations in Math-Net.Ru
1. 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   
2. 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   
3. 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   
4. 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   
5. 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   
6. 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   
7. 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   
8. 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   
9. 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   
10. 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   
11. 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   
12. 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   
13. Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 14, 2020 16:30   
14. Лекция 1. Циклические выводы в логике Гёделя-Лёба
D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 7, 2020 16:00   
15. О глобальной окрестностной полноте логики доказуемости GLP
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
June 22, 2020 17:30   
16. On a neighborhood semantics of Lindström provability logic
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
December 9, 2019 18:30   
17. Об устранении сечения для системы $K^+$
D. S. Shamkanov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 16:35   
18. Об устранении сечения для модальной логики транзитивного замыкания
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
April 28, 2018 18:30
19. Логика Кузнецова-Муравицкого и семантика компьютерных языков
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 12, 2017 18:30
20. 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   
21. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 10, 2017 18:30
22. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 14, 2017 18:30
23. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 22, 2016 18:30
24. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
Seminars "Proof Theory" and "Logic Online Seminar"
May 23, 2016
25. Формальная арифметика на базе логики без правила сокращения
D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 29, 2016 18:30
26. 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   
27. 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
28. 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
29. Циклические выводы для логики доказуемости Гёделя–Лёба
D. S. Shamkanov
Scientific session of the Steklov Mathematical Institute dedicated to the results of 2014
November 12, 2014 12:15   
30. Circular proofs for provability logic
D. S. Shamkanov
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 12:15
31. 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
32. 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
33. 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, 2021