Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
30.11.1990
Сайт: https://math.sfu-kras.ru/node/1100 Ключевые слова: унификация, временная модальная логика, правила вывода, аксиоматизация
Коды УДК: 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
