- Satisfiability in a Temporal Multi-valueted Logic Based on Z [статья из журнала]2022, Journal of Siberian Federal University - Mathematics and Physicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (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, Математика в современном мире
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]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, Мальцевские чтения
- 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), Список ВАК
- Правила вывода многомодальных логик : диссертация на соискание ученой степени кандидата физико-математических наук [диссертация]2007присутствует в РИНЦ (eLIBRARY.RU)
- Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук [автореферат диссертации]2007присутствует в РИНЦ (eLIBRARY.RU)
- Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]2005, LOGIC JOURNAL OF THE IGPLприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.