унификация, временная модальная логика, правила вывода, аксиоматизация
Коды УДК:
510.6
Основные темы научной работы
Модальные, интуиционистские и многомодальные логики
Основные публикации:
Башмаков Степан Игоревич, “Унификация и правила вывода в многомодальной логике знания и линейного времени LTK”, Журн. СФУ. Сер. Матем. и физ., 9:2 (2016), 149-157
Башмаков С.И., Кошелева А.В., Рыбаков В.В., “Унификация для многоагентных временных логик с универсальной модальностью”, IfCoLog Journal of Logics and their Applications, 4:4 (2017), 939-954
Башмаков С.И., “Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью”, Журн. СФУ. Сер. Матем. и физ., 11:1 (2018), 3-9
Башмаков С.И., Зверева Т.Ю., “Унификация и финитная аппроксимируемость линейной многоагентной логики ступенчатого времени с универсальной модальностью”, Bulletin of the Section of Logic, 51 (2022), 345-361
С. И. Башмаков, К. А. Смелых, “Реляционная версия многоагентной логики деревьев вычислений $\mathcal{CTLK}$”, Известия Иркутского государственного университета. Серия Математика, 47 (2024), 78–92
2023
2.
С. И. Башмаков, Т. Ю. Зверева, “Линейная ступенчатая логика знания $\mathcal{LTK}.{sl}$”, Сиб. электрон. матем. изв., 20:2 (2023), 1361–1373http://semr.math.nsc.ru/v20/n2/p1361-1373.pdf
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-361https://czasopisma.uni.lodz.pl/bulletin/article/view/9975
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
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-231https://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-98http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/585/572
2017
14.
С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Линейные транзитивные логики знания и времени, унификация и проективные формулы”, МАК : «Математики – Алтайскому краю» : сборник трудов всероссийской конференции по математике (Барнаул, 29 июня – 2 июля 2017 г.), ред. А.И. Будкин, А.В. Жариков, Г.В. Кравченко, и др., Изд-во Алт. ун-та, Барнаул, 2017, 6-7http://konf.asu.ru/math-altai/download_file.php?s=math-altai&f=mak_2017.pdf
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
16.
С. И. Башмаков, А. В. Кошелева, “Унификация во временных логиках”, Синтаксис и семантика логических систем: материалы 5-й школы-семинара (Улан-Удэ, 8–12 августа 2017 г.), Из-во Бурятского госуниверситета, Улан-Удэ, 2017, 20–25
17.
С. И. Башмаков, А. В. Кошелева, В. В. Рыбаков, “Унификация во временных многоагентных логиках с универсальной модальностью”, Математика в современном мире. Междунар. конф., посвящ. 60-летию Института математики им. С. Л. Соболева (Новосибирск, 14–19 августа 2017 г.), ред. Г.В. Демиденко, Изд-во Института математики, Новосибирск, 2017, 67http://math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf
18.
С. И. Башмаков, М. И. Голованов, “Аксиоматизация интуиционистских логик, определяемых малыми фреймами”, Математические заметки СВФУ, 24:1 (2017), 6–15
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
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
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016), 656–663
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–90http://elib.sfu-kras.ru/handle/2311/21619
24.
С.И. Башмаков, “Вопрос унификации и базис пассивных правил в многомодальной логике LTK”, Материалы XXIII Междунар. науч. конф. студентов, аспирантов и мол. ученых "Ломоносов 2016": секция «Вычислит. матем. и кибернетика» (Москва, МГУ, 11-15 апреля 2016 г.), ред. Атамась Е.И., Месяц А.И., Шевцова И.Г., Издательский отдел факультета ВМК МГУ, Москва, 2016, 38-39http://smu.cs.msu.ru/sites/default/files/attachments/Abstracts-Lomonosov-2016.pdf
25.
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929
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, 6https://issc.nsu.ru/wp-content/uploads/2016/04/
28.
С. И. Башмаков, “Критерий неунифицируемости в транзитивной временной линейной бимодальной логике на множестве целых чисел”, Электр. сборник матер. междунар. конф. студентов, аспирантов и мол. ученых “Проспект Свободный - 2016”, посвящ. году образования в СНГ: Матем., информ.. Алгебра, матем. логика и дискр. матем. (15–25 апреля 2016 г.), Библ.-издат. комплекс СФУ, Красноярск, 2016, 10http://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