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

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

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

http://www.mathnet.ru/rus/person71410
https://scholar.google.com/citations?user=fExQPSkAAAAJ&hl=ru
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

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



   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. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 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: 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. Д. С. Шамканов, “Циклические выводы для логики доказуемости Гëделя–Лëба”, Матем. заметки, 96:4 (2014), 609–622  mathnet (цит.: 10)  crossref  mathscinet  zmath  isi (цит.: 12)  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: 12)  elib (cited: 1)  scopus (cited: 15)
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. Д. С. Шамканов, “Интерполяционные свойства логик доказуемости GL и GLP”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 329–342  mathnet (цит.: 4)  mathscinet  isi (цит.: 3)  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: 3)  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)

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

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