Follow
Stepan I. Bashmakov
Stepan I. Bashmakov
Siberian Federal University, Institute of Mathematics and Computer Science
Verified email at sfu-kras.ru - Homepage
Title
Cited by
Cited by
Year
Non-unifiability in linear temporal logic of knowledge with multi-agent relations
SI Bashmakov, AV Kosheleva, V Rybakov
Siberian Electronic Mathematical Reports 13, 656–663, 2016
152016
Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
SI Bashmakov
Journal of Siberian Federal University. Math. & Phys. 9 (2), 149-157, 2016
132016
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
SI Bashmakov
Journal of Siberian Federal University. Math. & Phys. 11 (1), 3-9, 2018
92018
Projective formulas and unification in linear discrete temporal multi-agent logics
SI Bashmakov, AV Kosheleva, VV Rybakov
Siberian Electronic Mathematical Reports 13, 923-929, 2016
92016
Unification for Multi-Agent Temporal Logics with Universal Modality
SI Bashmakov, AV Kosheleva, VV Rybakov
IfCoLog Journal of Logics and their Applications 4 (4), 939-954, 2017
62017
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
SI Bashmakov, TY Zvereva
Bulletin of the Section of Logic 51 (3), 345–361, 2022
42022
Unification in Pretabular Extensions of S4
SI Bashmakov
Logica Universalis, 1-17, 2021
22021
Структурные вопросы дерева унификаторов
СИ Башмаков
Международная конференция "Мальцевские чтения" (Новосибирск, 19-23 августа), 2019
22019
Unification in linear multi-modal logic of knowledge and non-transitive time
SI Bashmakov
Handbook of the 6th World Congress and School on Universal Logic, 229, 2018
12018
Унификация во временных многоагентных логиках с универсальной модальностью
СИ Башмаков, АВ Кошелева, ВВ Рыбаков
Междунар. конф. "Математика в современном мире" посвящ. 60-летию Института …, 2017
12017
Линейные транзитивные логики знания и времени, унификация и проективные формулы
СИ Башмаков, АВ Кошелева, ВВ Рыбаков
Всерос. конф. «Математики – Алтайскому краю», 6-7, 2017
12017
Unification through the projective formulas in linear discrete temporal logics of knowledge
SI Bashmakov, AV Kosheleva, VV Rybakov
Internat. conf. "Mal'tsev Meeting” (Novosibirsk, November 21–25, 2016), 218, 2016
12016
Вопрос унификации и базис пассивных правил в многомодальной логике LTK
СИ Башмаков
ЛОМОНОСОВ-2016, 38-39, 2016
12016
On Unification and Passive Rules in Multi-modal Temporal Logic of Linear Time and Knowledge LFPK
SI Bashmakov, AV Kosheleva, VV Rybakov
Internat. conf. "Algebra and Logic: Theory and Applications", 88, 2016
12016
Linear step-like logic of knowledge
SI Bashmakov, TY Zvereva
Sibirskie Člektronnye Matematicheskie Izvestiya [Siberian Electronic …, 2023
2023
Линейная ступенчатая логика знания
СИ Башмаков, ТЮ Зверева
Сибирские электронные математические известия 20 (2), 1361-1373, 2023
2023
МНОГОАГЕНТНАЯ ЛОГИКА ДЕРЕВЬЕВ ВЫЧИСЛЕНИЙ CTLK
СИ Башмаков, КА Смелых
2023
Структурные вопросы диаграмм унификаторов
СИ Башмаков, ЕВ Брылякова
Системы управления, информационные технологии и математическое моделирование …, 2023
2023
Семантика CTLK
СИ Башмаков, КА Смелых
Системы управления, информационные технологии и математическое моделирование …, 2023
2023
ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK. SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ
ТЮ Зверева, СИ Башмаков
2023
The system can't perform the operation now. Try again later.
Articles 1–20