RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Шамканов Данияр Салкарбекович

Публикаций: 15 (15)
в MathSciNet: 9 (9)
в zbMATH: 5 (5)
в Web of Science: 7 (7)
в Scopus: 8 (8)
Цитированных статей: 5
Цитирований в Math-Net.Ru: 13
Цитирований в MathSciNet: 15
Цитирований в Web of Science: 16
Цитирований в Scopus: 21
Лекций и докладов: 19

Статистика просмотров:
Эта страница:1687
Страницы публикаций:1020
Полные тексты:151
Списки литературы:121
кандидат физико-математических наук (2012)
E-mail:
Ключевые слова: теория доказательств, неклассические логики.

http://www.mathnet.ru/rus/person71410
http://scholar.google.com/citations?user=fExQPSkAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:shamkanov.daniyar-s
https://mathscinet.ams.org/mathscinet/MRAuthorID/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

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | общий список |



   2020
1. Daniyar Shamkanov, “Non-well-founded derivations in the Gödel-Löb provability logic”, Rev. Symb. Log., 2020, 1–22 (Published online)  mathnet  crossref; (Published online)
2. Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 2020, 1–29 (Published online)  mathnet  crossref; (Published online)

   2019
3. 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
4. Y. Savateev, D. Shamkanov, Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs, 2018 , 17 pp., arXiv: 1804.01432  mathscinet
5. Y. Savateev, D. Shamkanov, Non-Well-Founded Proofs for the Grzegorczyk Modal Logic, 2018 , 31 pp., arXiv: 1804.00955

   2017
6. 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: 1)  scopus (cited: 2)
7. 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
8. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 207:9 (2016), 171–190  mathnet (цит.: 2)  crossref  mathscinet  zmath  adsnasa  isi (цит.: 2)  elib; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360  crossref  mathscinet  zmath  isi (cited: 2)  elib  scopus (cited: 3)
9. 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
10. 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
11. Д. С. Шамканов, “Циклические выводы для логики доказуемости Гëделя–Лëба”, Матем. заметки, 96:4 (2014), 609–622  mathnet (цит.: 8)  crossref  mathscinet  zmath  isi (цит.: 8)  elib (цит.: 2); D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585  crossref  mathscinet  zmath  isi (cited: 8)  elib (cited: 1)  scopus (cited: 11)
12. 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
13. 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
14. Д. С. Шамканов, “Интерполяционные свойства логик доказуемости GL и GLP”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 329–342  mathnet (цит.: 3)  mathscinet  isi (цит.: 2)  elib (цит.: 2); Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316  crossref  mathscinet  isi (cited: 2)  elib  scopus (cited: 1)
15. 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

Доклады и лекции в базе данных Math-Net.Ru
1. О глобальной окрестностной полноте логики доказуемости GLP
Д. С. Шамканов
Семинар отдела математической логики «Теория доказательств»
22 июня 2020 г. 17:30   
2. Об окрестностной семантике логики доказуемости Линдстрёма
D. S. Shamkanov
Семинар отдела математической логики «Теория доказательств»
9 декабря 2019 г. 18:30   
3. Об устранении сечения для системы $K^+$
Д. С. Шамканов
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 16:35   
4. Об устранении сечения для модальной логики транзитивного замыкания
Д. С. Шамканов
Семинар отдела математической логики «Теория доказательств»
28 апреля 2018 г. 18:30
5. Логика Кузнецова-Муравицкого и семантика компьютерных языков
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
12 декабря 2017 г. 18:30
6. Полнота логики доказуемости Гёделя-Лёба относительно глобальной топологической семантики
Д. С. Шамканов
Научная сессия МИАН, посвященная подведению итогов 2017 года
29 ноября 2017 г. 11:30   
7. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Ю. В. Саватеев, Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
10 октября 2017 г. 18:30
8. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
14 марта 2017 г. 18:30
9. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
22 ноября 2016 г. 18:30
10. Конструктивная модальная логика, похожая на логику доказуемости GL
Д. С. Шамканов
Семинар отдела математической логики «Теория доказательств»
23 мая 2016 г.
11. Формальная арифметика на базе логики без правила сокращения
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
29 марта 2016 г. 18:30
12. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 10
Д. С. Шамканов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
22 апреля 2015 г. 18:00   
13. О теории доказательств модальной логики с оператором наименьшей неподвижной точки (продолжение)
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
25 ноября 2014 г. 18:30
14. О теории доказательств модальной логики с оператором наименьшей неподвижной точки
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
18 ноября 2014 г. 18:30
15. Циклические выводы для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г. 12:15   
16. Circular proofs for provability logic
D. S. Shamkanov
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 12:15
17. Секвенциальное исчисление для логики доказуемости Джапаридзе
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
20 ноября 2012 г. 18:30
18. Исчисление секвенций для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
13 ноября 2012 г. 18:30
19. Система подстановок термов с одним правилом, имеющая алгоритмически неразрешимую проблему остановки
Д. С. Шамканов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
9 октября 2012 г. 18:30

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020