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

  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), Web of Science Russian Science Citation Index, Список ВАК
  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), Ядро РИНЦ (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) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Web of Science Russian Science Citation Index, Список ВАК
  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) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Web of Science Russian Science Citation Index, Список ВАК
  14. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS [статья из журнала]
    2016, Сибирские электронные математические известия
    присутствует в Web of Science Core Collection (1 цит.), Scopus (2 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Web of Science Russian Science Citation Index, Список ВАК
  15. Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
    присутствует в РИНЦ (eLIBRARY.RU)
  16. Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, ЛОМОНОСОВ - 2016
    присутствует в РИНЦ (eLIBRARY.RU)
  17. Аксиоматизация интуиционистских логик малой глубины [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Молодежь и наука

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

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