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

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

Статистика просмотров:
Эта страница:1635
Страницы публикаций:999
Полные тексты:137
Списки литературы: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)

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

   2017
5. 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)
6. 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
7. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 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)
8. 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
9. Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815  mathnet  crossref  mathscinet  isi (cited: 2)  elib  scopus (cited: 4)

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

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