| 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 | 15 | 2016 |
| 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 | 13 | 2016 |
| 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 | 9 | 2018 |
| 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 | 9 | 2016 |
| 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 | 6 | 2017 |
| 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 | 5 | 2022 |
| Структурные вопросы дерева унификаторов СИ Башмаков Международная конференция "Мальцевские чтения" (Новосибирск, 19-23 августа), 2019 | 4 | 2019 |
| Unification in Pretabular Extensions of S4 SI Bashmakov Logica Universalis, 1-17, 2021 | 2 | 2021 |
| Linear step-like logic of knowledge SI Bashmakov, TY Zvereva Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic …, 2023 | 1 | 2023 |
| 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 | 1 | 2018 |
| Унификация во временных многоагентных логиках с универсальной модальностью СИ Башмаков, АВ Кошелева, ВВ Рыбаков Междунар. конф. "Математика в современном мире" посвящ. 60-летию Института …, 2017 | 1 | 2017 |
| Линейные транзитивные логики знания и времени, унификация и проективные формулы СИ Башмаков, АВ Кошелева, ВВ Рыбаков Всерос. конф. «Математики – Алтайскому краю», 6-7, 2017 | 1 | 2017 |
| 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 | 1 | 2016 |
| Вопрос унификации и базис пассивных правил в многомодальной логике LTK СИ Башмаков ЛОМОНОСОВ-2016, 38-39, 2016 | 1 | 2016 |
| 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 | 1 | 2016 |
| Relational version of the multi-agent computation tree logic SI Bashmakov, KA Smelykh Bulletin of Irkutsk State University. Series Mathematics 47, 78-92, 2024 | | 2024 |
| МНОГОАГЕНТНАЯ ЛОГИКА ДЕРЕВЬЕВ ВЫЧИСЛЕНИЙ CTLK СИ Башмаков, КА Смелых | | 2023 |
| Структурные вопросы диаграмм унификаторов СИ Башмаков, ЕВ Брылякова Системы управления, информационные технологии и математическое моделирование …, 2023 | | 2023 |
| Семантика CTLK СИ Башмаков, КА Смелых Системы управления, информационные технологии и математическое моделирование …, 2023 | | 2023 |
| ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK. SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ ТЮ Зверева, СИ Башмаков | | 2023 |
Anna Kosheleva (Анна Владимировн...Siberian Federal University (Сибирский федеральный университет), Krasnoyarsk, Russia在 sfu-kras.ru 的电子邮件经过验证
