Публикации: Башмаков Степан Игоревич

  1. Унификационная проблема в предтабличной модальной логике PM2 [статья из журнала]
    2018, Логико-философские штудии
    присутствует в РИНЦ (eLIBRARY.RU)
  2. Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]
    2018, Journal of Siberian Federal University - Mathematics and Physics
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  3. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
    присутствует в РИНЦ (eLIBRARY.RU)
  4. Unification for multi-agent temporal logics with universal modality [статья из журнала]
    2017, IfCoLog Journal of Logics and their Applications
  5. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
  6. Projective unification for linear non-transitive temporal logic with the operator of universal modality [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Мальцевские чтения
  7. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ [статья из журнала]
    2017, Математические заметки СВФУ
    присутствует в РИНЦ (eLIBRARY.RU)
  8. Линейные транзитивные логики знания и времени, унификация и проективные формулы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, МАК: Математики - Алтайскому краю
    присутствует в РИНЦ (eLIBRARY.RU)
  9. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016
    присутствует в РИНЦ (eLIBRARY.RU)
  10. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Алгебра и логика: теория и приложения
  11. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Мальцевские чтения
  12. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]
    2016, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
    присутствует в Web of Science Core Collection (3 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  13. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
    присутствует в Web of Science Core Collection (1 цит.), Scopus (1 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  14. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS [статья из журнала]
    2016, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  15. Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
    присутствует в РИНЦ (eLIBRARY.RU)
  16. Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, ЛОМОНОСОВ - 2016
    присутствует в РИНЦ (eLIBRARY.RU)
  17. Аксиоматизация интуиционистских логик малой глубины [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Молодежь и наука

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.