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

Публикаций: 10
Научных статей: 10
в MathSciNet: 4
в zbMATH: 3
в Web of Science: 5
в Scopus: 7
Цитированных статей: 5
Ссылок в Math-Net.Ru: 5
Ссылок в MathSciNet: 3
Ссылок в Web of Science: 5
Ссылок в Scopus: 8
Лекций и докладов: 12

Статистика просмотров:
Эта страница:1108
Страницы публикаций:477
Полные тексты:14
Списки литературы:71
кандидат физико-математических наук (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
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

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



   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. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 207:9 (2016), 171–190  mathnet  crossref  mathscinet  zmath  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  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. Д. С. Шамканов, “Циклические выводы для логики доказуемости Гëделя–Лëба”, Матем. заметки, 96:4 (2014), 609–622  mathnet (цит.: 2)  crossref  zmath  elib (цит.: 2); D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585  crossref  zmath  isi (cited: 2)  elib (cited: 1)  scopus (cited: 4)
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. Д. С. Шамканов, “Интерполяционные свойства логик доказуемости GL и GLP”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 329–342  mathnet (цит.: 3)  mathscinet (цит.: 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: 2)  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

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

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