1. Разрешимость многоагентной логики деревьев вычислений CTLKRel : научное издание [статья из журнала]
   Башмаков Степан Игоревич, Смелых Кирилл Александрович
   2026, Известия Иркутского государственного университета. Серия: Математика
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
2. Разрешимость CTLK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков С. И., Смелых К. А.
   2025, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
3. Кортежная семантика логики ветвящегося времени : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков С. И., Поляков А. А.
   2025, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
4. N-ХАРАКТЕРИСТИЧЕСКАЯ МОДЕЛЬ ДЛЯ ПРЕДТАБЛИЧНЫХ РАСШИРЕНИЙ INT : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков С. И., Брылякова Е. В.
   2025, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
5. Реляционная версия многоагентной логики деревьев вычислений CTLK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков Степан Игоревич, Смелых Кирилл Александрович
   2024, Синтаксис и семантика логических систем
   присутствует в РИНЦ (eLIBRARY.RU)
6. Кортежная семантика в модальной логике Alt1 : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков Степан Игоревич, Поляков Александр Алексеевич
   2024, Синтаксис и семантика логических систем
   присутствует в РИНЦ (eLIBRARY.RU)
7. Реляционная версия многоагентной логики деревьев вычислений CTLK : научное издание [статья из журнала]
   Башмаков Степан Игоревич, Смелых Кирилл Александрович
   2024, Известия Иркутского государственного университета. Серия: Математика
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
8. Реляционная версия многоагентной логики деревьев вычислений CT LK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков С. И., Смелых К. А.
   2023, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
9. К вопросу об определении эквивалентности унификаторов : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Башмаков С. И., Брылякова Е. В.
   2023, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
10. МНОГОАГЕНТНАЯ ЛОГИКА ДЕРЕВЬЕВ ВЫЧИСЛЕНИЙ CTLK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Смелых Кирилл Александрович
    2023, ДИНАМИЧЕСКИЕ СИСТЕМЫ И КОМПЬЮТЕРНЫЕ НАУКИ: ТЕОРИЯ И ПРИЛОЖЕНИЯ (DYSC 2023)
    присутствует в РИНЦ (eLIBRARY.RU)
11. Семантика CTLK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Смелых К. А.
    2023, Системы управления, информационные технологии и математическое моделирование
    присутствует в РИНЦ (eLIBRARY.RU)
12. Структурные вопросы диаграмм унификаторов : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Брылякова Е. В.
    2023, Системы управления, информационные технологии и математическое моделирование
    присутствует в РИНЦ (eLIBRARY.RU)
13. ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Зверева Т. Ю., Башмаков С. И.
    2023, Все грани математики и механики
    присутствует в РИНЦ (eLIBRARY.RU)
14. Свойство финитной аппроксимируемости временной логики знания с универсальной модальностью LT K.slU : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Зверева Т. Ю., Башмаков С. И.
    2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
15. Деревья унификаторов : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Брылякова Е. В., Мукосий А. А.
    2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
16. Семантика многоагентной логики деревьев вычислений : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Смелых К. А.
    2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
17. UNIFICATION AND FINITE MODEL PROPERTY FOR LINEAR STEP-LIKE TEMPORAL MULTI-AGENT LOGIC WITH THE UNIVERSAL MODALITY [статья из журнала]
    Zvereva T. Yu., Bashmakov S. I.
    2022, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
18. Unification in Pretabular Extensions of S4 : научное издание [статья из журнала]
    Bashmakov S. I.
    2021, Logica Universalis
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
19. Линейная ступенчатая логика знания с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Зверева Т. Ю., Башмаков С. И.
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
20. Унификационная проблема в предтабличных модальных логиках P M1 - P M5 : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И.
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
21. Временные многоагентные логики и проблема унификации : специальность 01.01.06 Математическая логика, алгебра и теория чисел "" [диссертация]
    Башмаков Степан Игоревич
    2018
    присутствует в РИНЦ (eLIBRARY.RU)
22. Унификационная проблема в предтабличной модальной логике PM2 : научное издание [статья из журнала]
    Башмаков С. И.
    2018, Логико-философские штудии
    присутствует в РИНЦ (eLIBRARY.RU)
23. 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), Список ВАК
24. Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]
    Bashmakov Stepan, Kosheleva Anna, Rybakov Vladimir V.
    2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
    присутствует в Web of Science Core Collection
25. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, Математика в современном мире
    присутствует в РИНЦ (eLIBRARY.RU)
26. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., RYBAKOV V. V.
    2017, Математика в современном мире
27. Projective unification for linear non-transitive temporal logic with the operator of universal modality : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич
    2017, Мальцевские чтения
28. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]
    Башмаков Степан Игоревич, Голованов Михаил Иванович
    2017, Математические заметки СВФУ
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
29. Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, МАК: Математики - Алтайскому краю
    присутствует в РИНЦ (eLIBRARY.RU)
30. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016
    присутствует в РИНЦ (eLIBRARY.RU)
31. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., Rybakov V. V.
    2016, Алгебра и логика: теория и приложения
32. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V. V.
    2016, Мальцевские чтения
33. 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, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
34. 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, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
35. 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, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
36. Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич
    2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
    присутствует в РИНЦ (eLIBRARY.RU)
37. Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич
    2016, ЛОМОНОСОВ - 2016
    присутствует в РИНЦ (eLIBRARY.RU)
38. Аксиоматизация интуиционистских логик малой глубины : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич
    2013, Молодежь и наука

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

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