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

Публикаций: 25 (25)
в MathSciNet: 2 (2)
в zbMATH: 1 (1)
в Web of Science: 5 (5)
в Scopus: 4 (4)
Цитированных статей: 5
Цитирований в Math-Net.Ru: 5
Цитирований в Web of Science: 6
Цитирований в Scopus: 7

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

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

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

   
Основные публикации:
  1. Башмаков Степан Игоревич, “Унификация и правила вывода в многомодальной логике знания и линейного времени LTK”, Журн. СФУ. Сер. Матем. и физ., 9:2 (2016), 149-157  mathnet
  2. С.И. Башмаков, А.В. Кошелева, В. Рыбаков, “Неунифицируемость в линейной временной логике знания с многоагентными отношениями”, Сиб.электр.матем.известия, 13 (2016), 656.663  mathnet  mathscinet
  3. Башмаков С.И., Кошелева А.В., Рыбаков В.В., “Проективные формулы и унификация в линейных дискретных временных многоагентных логиках”, Сиб. электрон. матем. изв., 13 (2016), 923.929  mathnet
  4. Башмаков С.И., Кошелева А.В., Рыбаков В.В., “Унификация для многоагентных временных логик с универсальной модальностью”, IfCoLog Journal of Logics and their Applications, 4:4 (2017), 939-954
  5. Башмаков С.И., “Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью”, Журн. СФУ. Сер. Матем. и физ., 11:1 (2018), 3-9  mathnet

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

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



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

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

   2018
6. 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 (цит.: 1)
7. 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
8. С. И. Башмаков, “Вопросы унификации в предтабличных расширениях S4”, Тезисы докладов международной конференции “Мальцевские чтения" (Новосибирск, 19–22 ноября 2018 г.), ИМ СО РАН, Новосибирск, 2018, 222 (опубликована online) http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
9. С. И. Башмаков, “Унификационная проблема в предтабличной модальной логике PM2”, Логико-философские штудии (13-я Международная конференция “Современная логика: проблемы и перспективы” (31 мая - 2 июня 2018, Санкт-Петербург)), 16, Санкт-Петербургский государственный университет, 2018, 97-98 http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/585/572

   2017
10. С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Линейные транзитивные логики знания и времени, унификация и проективные формулы”, МАК : «Математики – Алтайскому краю» : сборник трудов всероссийской конференции по математике (Барнаул, 29 июня – 2 июля 2017 г.), ред. А.И. Будкин, А.В. Жариков, Г.В. Кравченко, и др., Изд-во Алт. ун-та, Барнаул, 2017, 6-7 http://konf.asu.ru/math-altai/download_file.php?s=math-altai&f=mak_2017.pdf  elib
11. 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 (cited: 1)
12. С. И. Башмаков, А. В. Кошелева, “Унификация во временных логиках”, Синтаксис и семантика логических систем: материалы 5-й школы-семинара (Улан-Удэ, 8–12 августа 2017 г.), Из-во Бурятского госуниверситета, Улан-Удэ, 2017, 20–25
13. С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Унификация во временных многоагентных логиках с универсальной модальностью”, Математика в современном мире. Междунар. конф., посвящ. 60-летию Института математики им. С. Л. Соболева (Новосибирск, 14–19 августа 2017 г.), ред. Г.В. Демиденко, Изд-во Института математики, Новосибирск, 2017, 67 http://math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf
14. С. И. Башмаков, М. И. Голованов, “Аксиоматизация интуиционистских логик, определяемых малыми фреймами”, Математические заметки СВФУ, 24:1 (2017), 6–15  mathnet  elib
15. 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
16. С. И. Башмаков, Временные многоагентные логики и проблема унификации, Дисс. … канд. физ.-матем. наук, СФУ, Красноярск, 2017 , 83 с. research.sfu-kras.ru  crossref

   2016
17. Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Журн. СФУ. Сер. Матем. и физ., 9:2 (2016), 149–157  mathnet (цит.: 3)  crossref  isi (цит.: 3)  scopus (цит.: 3)
18. 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 (цит.: 1)  crossref  isi (цит.: 1)  elib  scopus (цит.: 2)
19. 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
20. С.И. Башмаков, “Вопрос унификации и базис пассивных правил в многомодальной логике LTK”, Материалы XXIII Междунар. науч. конф. студентов, аспирантов и мол. ученых "Ломоносов 2016": секция «Вычислит. матем. и кибернетика» (Москва, МГУ, 11-15 апреля 2016 г.), ред. Атамась Е.И., Месяц А.И., Шевцова И.Г., Издательский отдел факультета ВМК МГУ, Москва, 2016, 38-39 http://smu.cs.msu.ru/sites/default/files/attachments/Abstracts-Lomonosov-2016.pdf  elib
21. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929  mathnet (цит.: 1)  crossref  isi (цит.: 1)  elib  scopus (цит.: 1)
22. 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
23. С. И. Башмаков, “Унификация в многомодальной логике LTK”, Материалы 54-й международной студенческой конференции МНСК–2016: Математика (Новосибирск, 16–20 апреля 2016 г.), Новос иб. гос. ун - т., Новосибирск, 2016, 6 https://issc.nsu.ru/wp-content/uploads/2016/04/  elib
24. С. И. Башмаков, “Критерий неунифицируемости в транзитивной временной линейной бимодальной логике на множестве целых чисел”, Электр. сборник матер. междунар. конф. студентов, аспирантов и мол. ученых “Проспект Свободный - 2016”, посвящ. году образования в СНГ: Матем., информ.. Алгебра, матем. логика и дискр. матем. (15–25 апреля 2016 г.), Библ.-издат. комплекс СФУ, Красноярск, 2016, 10 http://nocmu.sfu-kras.ru/digest2016/src/

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

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