RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Shamkanov Daniyar Salkarbekovich

Total publications: 10 (10)
in MathSciNet: 5 (5)
in zbMATH: 3 (3)
in Web of Science: 5 (5)
in Scopus: 7 (7)
Cited articles: 5
Citations in Math-Net.Ru: 5
Citations in MathSciNet (by Sep 2017): 3
Citations in Web of Science: 5
Citations in Scopus: 9
Presentations: 15

Number of views:
This page:1151
Abstract pages:552
Full texts:14
References:74
Candidate of physico-mathematical sciences (2012)
E-mail:
Keywords: proof theory, nonclassical logics.

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

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



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

   2016
3. 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  isi  elib  elib  scopus (cited: 1)
4. 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

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

   2014
6. 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: 2)  elib (cited: 1)  elib (cited: 1)  scopus (cited: 5)
7. 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
8. 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
9. Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316  mathnet  crossref  mathscinet  isi (cited: 2)  elib  scopus
10. 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  zmath  isi  scopus

Presentations in Math-Net.Ru
1. Логика Кузнецова-Муравицкого и семантика компьютерных языков
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
December 12, 2017 18:30
2. 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   
3. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 10, 2017 18:30
4. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 14, 2017 18:30
5. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 22, 2016 18:30
6. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Proof Theory"
May 23, 2016
7. Формальная арифметика на базе логики без правила сокращения
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 29, 2016 18:30
8. 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   
9. On the proof theory of modal logic extended with the least fixed-point operator (Part 2)
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 25, 2014 18:30
10. On the proof theory of modal logic extended with the least fixed-point operator
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 18, 2014 18:30
11. Циклические выводы для логики доказуемости Гёделя–Лёба
D. S. Shamkanov
Scientific session of the Steklov Mathematical Institute dedicated to the results of 2014
November 12, 2014 12:15   
12. Circular proofs for provability logic
D. S. Shamkanov
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 12:15
13. A sequent сalculus for Japaridze's polymodal provability logic
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 20, 2012 18:30
14. A sequent сalculus for Gödel-Löb logic
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 13, 2012 18:30
15. One-rule term rewriting system with undecidable termination problem.
D. S. Shamkanov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 9, 2012 18:30

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017