ИСТИНА

Шамканов Данияр Салкарбекович

Соавторы: Беклемишев Л.Д.

4 статьи, 3 доклада на конференциях, 1 тезисы доклада, 1 НИР, 1 диссертация

Количество цитирований статей в журналах по данным Web of Science: 4, Scopus: 3

IstinaResearcherID (IRID): 14750200

Деятельность

• Статьи в журналах

  • 
    • 2011 Interpolation properties for provability logics GL and GLP
    • Shamkanov D.S.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 274, с. 303-316 DOI

• Статьи в сборниках

  • • 2020 Global neighbourhood completeness of the provability logic GLP
    • Shamkanov Daniyar
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 581-596
  • • 2016 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics
    • Beklemishev Lev, Shamkanov Daniyar
    • в сборнике Liber Amicorum Alberti: A tribute to Albert Visser, серия Tributes, место издания College Publications London, том 30, с. 20-38
  • • 2011 Интерполяционные свойства логик доказуемости GL и GLP
    • Шамканов Д.С.
    • в сборнике Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, серия Труды Математического Института им. В.А.Стеклова, издательство МАИК "Наука/Интерпериодика" (Москва), том 274, с. 329-342

• Доклады на конференциях

  • • 2020 Global neighbourhood completeness of the provability logic GLP (Устный)
    • Автор: Shamkanov Daniyar
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
  • • 2017 Циклические выводы в логике доказуемости Гёделя-Лёба (Устный)
    • Автор: Шамканов Данияр Салкарбекович
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2013 Circular proofs for provability logic (Устный)
    • Автор: Shamkanov D.S.
    • Logic and Computation Day, Математический институт им. В.А.Стеклова РАН, Россия, 7 июня 2013

• Тезисы докладов

  • • 2017 Циклические выводы в логике доказуемости Гёделя-Лёба
    • Шамканов Данияр Салкарбекович
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 56-58
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович

• НИРы

  • • 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.

• Диссертация

  • • 2012 Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Шамканов Данияр Салкарбекович
    • Научные руководители: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова, Крупский Владимир Николаевич, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Оревков Владимир Павлович, Шапировский Илья Борисович