1. Унификационная проблема в предтабличной модальной логике PM2 : научное издание [статья из журнала]
   Башмаков С. И.
   2018, Логико-философские штудии
   присутствует в РИНЦ (eLIBRARY.RU)
2. Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]
   Bashmakov S. I.
   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 : научное издание [статья из журнала]
   Башмаков Степан Игоревич, Kosheleva A. V., Rybakov V. V.
   2017, IfCoLog Journal of Logics and their Applications
5. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков Степан Игоревич, Kosheleva A. V., RYBAKOV V. V.
   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 : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Bashmakov S. I., Kosheleva A. V., Rybakov V.
   2016
   присутствует в РИНЦ (eLIBRARY.RU)
10. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., Rybakov V. V.
    2016, Алгебра и логика: теория и приложения
11. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V. V.
    2016, Мальцевские чтения
12. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]
    Bashmakov Stepan I.
    2016, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
    присутствует в Web of Science Core Collection (3 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
13. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    Bashmakov Stepan I., Kosheleva Anna V., Rybakov Vladimir
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
    присутствует в Web of Science Core Collection (1 цит.), Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
14. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016, Сибирские электронные математические известия
    присутствует в Web of Science Core Collection (1 цит.), Scopus (2 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
15. Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Новосибирский государственный университет
    2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
    присутствует в РИНЦ (eLIBRARY.RU)
16. Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Московский государственный университет им. М. В. Ломоносова
    2016, ЛОМОНОСОВ - 2016
    присутствует в РИНЦ (eLIBRARY.RU)
17. Аксиоматизация интуиционистских логик малой глубины : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич
    2013, Молодежь и наука

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.