Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Башмаков Степан Игоревич

Публикаций: 29 (29)
в MathSciNet: 3 (3)
в zbMATH: 1 (1)
в Web of Science: 6 (6)
в Scopus: 5 (5)
Цитированных статей: 6
Цитирований: 14
Лекций и докладов: 1

Статистика просмотров:
Эта страница:3155
Страницы публикаций:1292
Полные тексты:368
Списки литературы:211
Башмаков Степан Игоревич
кандидат физико-математических наук (2018)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 30.11.1990
Сайт: https://math.sfu-kras.ru/node/1100
Ключевые слова: унификация, временная модальная логика, правила вывода, аксиоматизация
Коды УДК: 510.6

Основные темы научной работы

Модальные, интуиционистские и многомодальные логики

   
Основные публикации:
  1. Башмаков Степан Игоревич, “Унификация и правила вывода в многомодальной логике знания и линейного времени LTK”, Журн. СФУ. Сер. Матем. и физ., 9:2 (2016), 149-157  mathnet
  2. Башмаков С.И., Кошелева А.В., Рыбаков В.В., “Унификация для многоагентных временных логик с универсальной модальностью”, IfCoLog Journal of Logics and their Applications, 4:4 (2017), 939-954
  3. Башмаков С.И., “Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью”, Журн. СФУ. Сер. Матем. и физ., 11:1 (2018), 3-9  mathnet
  4. Башмаков С.И., “Унификация в предтабличных расширениях S4”, Logica Universalis, 15 (2021), 381–397
  5. Башмаков С.И., Зверева Т.Ю., “Унификация и финитная аппроксимируемость линейной многоагентной логики ступенчатого времени с универсальной модальностью”, Bulletin of the Section of Logic, 51 (2022), 345-361

https://www.mathnet.ru/rus/person118134
https://scholar.google.com/citations?user=g1pHGz8AAAAJ&hl=ru
Список публикаций на ZentralBlatt
https://elibrary.ru/author_items.asp?authorid=877836
https://orcid.org/orcid.org/0000-0002-3354-0383
https://www.webofscience.com/wos/author/record/K-7178-2017
https://www.scopus.com/authid/detail.url?authorId=57189623547
https://www.researchgate.net/profile/Stepan_Bashmakov

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. С. И. Башмаков, К. А. Смелых, “Реляционная версия многоагентной логики деревьев вычислений $\mathcal{CTLK}$”, Известия Иркутского государственного университета. Серия Математика, 47 (2024), 78–92  mathnet  crossref

   2023
2. С. И. Башмаков, Т. Ю. Зверева, “Линейная ступенчатая логика знания $\mathcal{LTK}.{sl}$”, Сиб. электрон. матем. изв., 20:2 (2023), 1361–1373 http://semr.math.nsc.ru/v20/n2/p1361-1373.pdf  mathnet  crossref  crossref 1

   2022
3. S. I. Bashmakov, T. Yu. Zvereva, “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality”, Bulletin of the Section of Logic, 51:3 (2022), 345-361 https://czasopisma.uni.lodz.pl/bulletin/article/view/9975  crossref

   2021
4. S. I. Bashmakov, “Unification in Pretabular Extensions of S4”, Logica Universalis, 2021 (Published online) https://link.springer.com/article/10.1007/s11787-021-00287-0  crossref  mathscinet  isi  scopus 1

   2020
5. S. I. Bashmakov, Unification in pretabular extensions of S4, 2020 (Published online) , 12 pp., arXiv: 2005.08506
6. С. И. Башмаков, “Полные наборы унификаторов в предтабличных логиках РМ2 и РМ3.”, Современные проблемы математики и её приложений: тезисы Международной (51-й Всероссийской) молодёжной школы-конференции (Екатеринбург, 3–7 февраля 2020 г.), ИММ УрО РАН, 2020, 15 (опубликована online) http://conf.uran.ru/kungurka/Proceedings-2020.pdf
7. С. И. Башмаков, “Унификационная проблема в предтабличных модальных логиках PM1 − PM5”, Тезисы докладов международной конференции “Мальцевские чтения” (Новосибирск, 16–20 ноября 2020 г.), ИМ СО РАН, 2020, 106 (опубликована online) http://www.math.nsc.ru/conference/malmeet/20/maltsev20.pdf
8. Т. Ю. Зверева, С. И. Башмаков, “Линейная ступенчатая логика знания с универсальной модальностью LTK.slU”, Тезисы докладов международной конференции “Мальцевские чтения” (Новосибирск, 16–20 ноября 2020 г.), ИМ СО РАН, 2020, 110 (опубликована online) http://www.math.nsc.ru/conference/malmeet/20/maltsev20.pdf

   2019
9. С. И. Башмаков, “Структурные вопросы дерева унификаторов”, Тезисы докладов международной конференции “Мальцевские чтения" (Новосибирск, 19–23 августа 2019 г.), ИМ СО РАН, Новосибирск, 2019, 70 (опубликована online) http://www.math.nsc.ru/conference/malmeet/19/maltsev19.pdf

   2018
10. Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, Журн. СФУ. Сер. Матем. и физ., 11:1 (2018), 3–9  mathnet  crossref  mathscinet  zmath  isi  scopus 3
11. S. I. Bashmakov, “Unification in linear multi-modal logic of knowledge and non-transitive time”, Handbook of the 6th World Congress and School on Universal Logic (Vichy, France, June 16–26, 2018), Universite Clermont Auvergne, 2018, 229-231 https://www.uni-log.org/pro2018/HAN.pdf
12. С. И. Башмаков, “Вопросы унификации в предтабличных расширениях S4”, Тезисы докладов международной конференции “Мальцевские чтения" (Новосибирск, 19–22 ноября 2018 г.), ИМ СО РАН, Новосибирск, 2018, 222 (опубликована online) http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
13. С. И. Башмаков, “Унификационная проблема в предтабличной модальной логике PM2”, Логико-философские штудии (13-я Международная конференция “Современная логика: проблемы и перспективы” (31 мая - 2 июня 2018, Санкт-Петербург)), 16, Санкт-Петербургский государственный университет, 2018, 97-98 http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/585/572

   2017
14. С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Линейные транзитивные логики знания и времени, унификация и проективные формулы”, МАК : «Математики – Алтайскому краю» : сборник трудов всероссийской конференции по математике (Барнаул, 29 июня – 2 июля 2017 г.), ред. А.И. Будкин, А.В. Жариков, Г.В. Кравченко, и др., Изд-во Алт. ун-та, Барнаул, 2017, 6-7 http://konf.asu.ru/math-altai/download_file.php?s=math-altai&f=mak_2017.pdf  elib
15. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Unification for multi-agent temporal logics with universal modality”, Journal of Applied Logics - IFCoLog Journal of Logics and their Applications, 4:4, Special Issue Dedicated to the Memory of Grigori Mints (2017), 939-954 (Published online) https://www.researchgate.net  isi
16. С. И. Башмаков, А. В. Кошелева, “Унификация во временных логиках”, Синтаксис и семантика логических систем: материалы 5-й школы-семинара (Улан-Удэ, 8–12 августа 2017 г.), Из-во Бурятского госуниверситета, Улан-Удэ, 2017, 20–25
17. С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Унификация во временных многоагентных логиках с универсальной модальностью”, Математика в современном мире. Междунар. конф., посвящ. 60-летию Института математики им. С. Л. Соболева (Новосибирск, 14–19 августа 2017 г.), ред. Г.В. Демиденко, Изд-во Института математики, Новосибирск, 2017, 67 http://math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf
18. С. И. Башмаков, М. И. Голованов, “Аксиоматизация интуиционистских логик, определяемых малыми фреймами”, Математические заметки СВФУ, 24:1 (2017), 6–15  mathnet  elib
19. S. I. Bashmakov, “Projective unification for linear non-transitive temporal logic with the operator of universal modality”, Тезисы докладов международной конференции “Мальцевские чтения” (Новосибирск, 20–24 ноября 2017 г.), ИМ СО РАН, Новосибирск, 2017, 175 (опубликована online) http://www.math.nsc.ru/conference/malmeet/17/malmeet17.pdf
20. С. И. Башмаков, Временные многоагентные логики и проблема унификации, Дисс. … канд. физ.-матем. наук, СФУ, Красноярск, 2017 , 83 с. research.sfu-kras.ru  crossref

   2016
21. Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Журн. СФУ. Сер. Матем. и физ., 9:2 (2016), 149–157  mathnet  crossref  isi  scopus 4
22. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016), 656–663  mathnet  crossref  isi  elib  scopus 2
23. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK”, Алгебра и логика: теория и приложения: тез. докл. Междунар. конф., посвящ. 70-летию В. М. Левчука / отв. за вып.: С. И. Башмаков, И. Н. Зотов, Я. Н. Нужин [и др.] . – 132 с. (Красноярск, 24 – 29 июля 2016 г.), Библ.-издат. комплекс СФУ, Красноярск, 2016, 88–90 http://elib.sfu-kras.ru/handle/2311/21619  mathscinet  elib
24. С.И. Башмаков, “Вопрос унификации и базис пассивных правил в многомодальной логике LTK”, Материалы XXIII Междунар. науч. конф. студентов, аспирантов и мол. ученых "Ломоносов 2016": секция «Вычислит. матем. и кибернетика» (Москва, МГУ, 11-15 апреля 2016 г.), ред. Атамась Е.И., Месяц А.И., Шевцова И.Г., Издательский отдел факультета ВМК МГУ, Москва, 2016, 38-39 http://smu.cs.msu.ru/sites/default/files/attachments/Abstracts-Lomonosov-2016.pdf  elib
25. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929  mathnet  crossref  isi  elib  scopus 3
26. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Unification through the projective formulas in linear discrete temporal logics of knowledge”, Тезисы докладов международной конференции “Мальцевские чтения” (Новосибирск, 21–25 ноября 2016 г.), Институт математики им. С. Л. Соболева СО РАН, Новосибирск, 2016, 218 (опубликована online) http://www.math.nsc.ru/conference/malmeet/16/malmeet16.pdf
27. С. И. Башмаков, “Унификация в многомодальной логике LTK”, Материалы 54-й международной студенческой конференции МНСК–2016: Математика (Новосибирск, 16–20 апреля 2016 г.), Новос иб. гос. ун - т., Новосибирск, 2016, 6 https://issc.nsu.ru/wp-content/uploads/2016/04/  elib
28. С. И. Башмаков, “Критерий неунифицируемости в транзитивной временной линейной бимодальной логике на множестве целых чисел”, Электр. сборник матер. междунар. конф. студентов, аспирантов и мол. ученых “Проспект Свободный - 2016”, посвящ. году образования в СНГ: Матем., информ.. Алгебра, матем. логика и дискр. матем. (15–25 апреля 2016 г.), Библ.-издат. комплекс СФУ, Красноярск, 2016, 10 http://nocmu.sfu-kras.ru/digest2016/src/

   2013
29. С. И. Башмаков, “Аксиоматизация интуиционистских логик малой глубины”, Молодежь и наука: сборник материалов IХ Всероссийской науч.-тех. конф. студентов, аспирантов и молодых ученых с междунар. участием, посвященной 385-летию Красноярска, Секция «Математика, информатика: Алгебра, математическая логика и дискретная математика» (Красноярск, 15–25 апреля 2013 г.), ред. О.А. Краев, Сибирский федеральный университет, Красноярск, 2013 http://conf.sfu-kras.ru/sites/mn2013/thesis/s061/s061-002.pdf

Доклады и лекции в базе данных Math-Net.Ru
1. Finite model property and unification for temporal logic of knowledge $LTK.sl_U$
С. И. Башмаков
Конференция международных математических центров мирового уровня
12 августа 2021 г. 14:30

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024