- Реляционная версия многоагентной логики деревьев вычислений CTLK : научное издание [статья из журнала]2024, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Семантика CTLK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2023, Системы управления, информационные технологии и математическое моделированиеприсутствует в РИНЦ (eLIBRARY.RU)
- Структурные вопросы диаграмм унификаторов : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2023, Системы управления, информационные технологии и математическое моделированиеприсутствует в РИНЦ (eLIBRARY.RU)
- ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2023, Все грани математики и механикиприсутствует в РИНЦ (eLIBRARY.RU)
- Свойство финитной аппроксимируемости временной логики знания с универсальной модальностью LT K.slU : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- Деревья унификаторов : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- Семантика многоагентной логики деревьев вычислений : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- UNIFICATION AND FINITE MODEL PROPERTY FOR LINEAR STEP-LIKE TEMPORAL MULTI-AGENT LOGIC WITH THE UNIVERSAL MODALITY [статья из журнала]2022, Bulletin of the Section of Logicприсутствует в Scopus
- Unification in Pretabular Extensions of S4 : научное издание [статья из журнала]2021, Logica Universalisприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Линейная ступенчатая логика знания с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- Унификационная проблема в предтабличных модальных логиках P M1 - P M5 : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- Унификационная проблема в предтабличной модальной логике PM2 : научное издание [статья из журнала]2018, Логико-философские штудииприсутствует в РИНЦ (eLIBRARY.RU)
- Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]2018, Journal of Siberian Federal University - Mathematics and Physicsприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONSприсутствует в Web of Science Core Collection
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном миреприсутствует в РИНЦ (eLIBRARY.RU)
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Projective unification for linear non-transitive temporal logic with the operator of universal modality : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Мальцевские чтения
- АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]2017, Математические заметки СВФУприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, МАК: Математики - Алтайскому краюприсутствует в РИНЦ (eLIBRARY.RU)
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016присутствует в РИНЦ (eLIBRARY.RU)
- On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Алгебра и логика: теория и приложения
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Мальцевские чтения
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]2016, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYAприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]2016, Сибирские электронные математические известияприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016присутствует в РИНЦ (eLIBRARY.RU)
- Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]2016, ЛОМОНОСОВ - 2016присутствует в РИНЦ (eLIBRARY.RU)
- Аксиоматизация интуиционистских логик малой глубины : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Молодежь и наука
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.