ИСТИНА

Савельев Денис Игоревич

1 доклад на конференции, 2 НИР

IstinaResearcherID (IRID): 19656442

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

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

  • • 2017 Systems of propositions referring to each other: a model-theoretic view (Устный)
    • Автор: Saveliev Denis
    • Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles), Steklov Mathematical Institute, Moscow, Russia, Россия, 17-20 октября 2017

• НИРы

  • • 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
  • • 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.