- Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Satisfiability Problem in Interval FP-logic : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022присутствует в РИНЦ (eLIBRARY.RU)
- Satisfiability problem in interval FP-logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022присутствует в РИНЦ (eLIBRARY.RU)
- Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers : научное издание [статья из журнала]2022, Algebra and Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Многоагентные временные логики, проблемы унификации и допустимости : научное издание [статья из журнала]2022, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations [доклад, тезисы доклада, статья из сборника материалов конференций]2022, Procedia Computer Scienceприсутствует в Scopus
- Temporal Logic in Multi-agent Environment [доклад, тезисы доклада, статья из сборника материалов конференций]2022, Smart Innovation, Systems and Technologiesприсутствует в Scopus
- Multiagent Temporal Logics, Unification Problems, and Admissibilities [статья из журнала]2022, Siberian Mathematical Journalприсутствует в Scopus
- Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы : научное издание [статья из журнала]2022, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-Agents' Temporal Logic using Operations of Static Agents' Knowledge : научное издание [статья из журнала]2022, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- ОПРЕДЕЛЕНИЕ ТРЕБУЕМОГО КОЛИЧЕСТВА СВЕТИЛЬНИКОВ С УЧЁТОМ СРОКА ОКУПАЕМОСТИ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2021, ПРОБЛЕМЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНИРОВАНИЯ И РАЗВИТИЯ НАЗЕМНОЙ ИНФРАСТРУКТУРЫ КОМПЛЕКСОВ СИСТЕМ ВООРУЖЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание [статья из журнала]2021, Журнал Сибирского федерального университета. Серия: Математика и физикаприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Quantitative modalities, possible applications to information analysis [доклад, тезисы доклада, статья из сборника материалов конференций]2021, Procedia Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal Multi-Agent’s Logic, Knowledge, Uncertainty, and Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]2021, Smart Innovation, Systems and Technologiesприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- BRANCHING TIME LOGICS WITH MULTIAGENT TEMPORAL ACCESSIBILITY RELATIONS : научное издание [статья из журнала]2021, SIBERIAN MATHEMATICAL JOURNALприсутствует в Web of Science Core Collection, Scopus
- Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание [статья из журнала]2021, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU)
- A short essay towards if p not equal np [статья из журнала]2021, Journal of Siberian Federal University - Mathematics and Physicsприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length : научное издание [статья из журнала]2021, Журнал Сибирского федерального университета. Серия: Математика и физикаприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal logic with agents' temporal relations generated by time states : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020присутствует в РИНЦ (eLIBRARY.RU)
- Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание [статья из журнала]2020, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-agent logic's modelling non-monotonic information and reasoning [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Representation of information and satisfiability, algorithms for multi-agent logics [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES : научное издание [статья из журнала]2020, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYAприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations : научное издание [статья из журнала]2020, LOBACHEVSKII JOURNAL OF MATHEMATICSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem [статья из журнала]2020, Algebra and Logicприсутствует в Web of Science Core Collection, Scopus
- К ВОПРОСУ ОБОСНОВАНИЯ ТРЕБОВАНИЙ К ЗНАЧЕНИЯМ ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ СИСТЕМ ЭЛЕКТРОСНАБЖЕНИЯ В СОСТАВЕ СПЕЦИАЛЬНОГО ОБЪЕКТА : научное издание [статья из журнала]2019, Труды Военно-космической академии имени А.Ф.Можайскогоприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- Chance Discovery and Analysis of Data via Multi-Agent Logics : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2019, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- BRANCHING TIME AGENT'S LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM : научное издание [статья из журнала]2019, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYAприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Non-classical multi-agent logics with multi-valuations : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2018присутствует в РИНЦ (eLIBRARY.RU)
- Временные мультиагентные логики с мультиозначиваниями : научное издание [статья из журнала]2018, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM : научное издание [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYAприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Larisa Maksimova on implication, interpolation, and definabilityприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multiagent Temporal Logics with Multivaluations [статья из журнала]2018, Siberian Mathematical Journalприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- TEMPORAL MULTI-VALUED LOGIC WITH LOST WORLDS IN THE PAST : сборник научных трудов [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYAприсутствует в 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, Математика в современном мире
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, МАК: Математики - Алтайскому краюприсутствует в РИНЦ (eLIBRARY.RU)
- Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание [статья из журнала]2017, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms : научное издание [статья из журнала]2017, Siberian Mathematical Journalприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (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-transitive linear temporal logic and logical knowledge operations : научное издание [статья из журнала]2016, Journal of Logic and Computationприсутствует в 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), Список ВАК
- Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]2016, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility : научное издание [статья из журнала]2015, Logica Universalisприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]2015, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]2015, SIBERIAN MATHEMATICAL JOURNALприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание [статья из журнала]2014, Сибирские электронные математические известияприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Multi-agent non-linear temporal logic with embodied agent describing uncertainty [статья из журнала (материалы конференций, опубликованные в журналах)]2014, Advances in Intelligent Systems and Computingприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Projective formulas and unification in linear temporal logic LTLU [статья из журнала]2014, LOGIC JOURNAL OF THE IGPLприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal logics modeling logical uncertainty, local and global chance discovery : научное издание [статья из журнала]2013, Studies in Computational Intelligenceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Computing Truth of Logical Statements in Multi-Agents’ Environment : научное издание [статья из журнала]2013, Журнал Сибирского федерального университета. Серия: Математика и физикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Unification and admissible rules for paraconsistent minimal johanssons' logic J and positive intuitionistic logic IPC+ : научное издание [статья из журнала]2013, Annals of Pure and Applied Logicприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- СЕРГЕЙ ИЛЬИЧ МАРДАЕВ (6.04.1962 — 10.04.2013) [статья из журнала]2013, Сибирские электронные математические известияприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Multi-agent temporary logic TS4KnU based at non-linear time and imitating uncertainty via agents' interaction [статья из журнала (материалы конференций, опубликованные в журналах)]2013, (9 June 2013 through 13 June 2013, Zakopaneприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) [статья из журнала]2013, LOGIC JOURNAL OF THE IGPLприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Writing out unifiers for formulas with coefficients in intuitionistic logic [статья из журнала]2013, LOGIC JOURNAL OF THE IGPLприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Writing out unifiers in linear temporal logic : научное издание [статья из журнала]2012, Journal of Logic and Computationприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Frontiers in Artificial Intelligence and Applicationsприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-agent logic based on temporary logic TS4Kn serving web search [статья из журнала (материалы конференций, опубликованные в журналах)]2012, ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logical analysis for chance discovery in multi-agents' environment [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Advances in knowledge-based and intelligent information and engineering systemsприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Одномоментные вмешательства у больных с инфраренальной аневризмой брюшного отдела аорты : научное издание [статья из журнала]2011, Хирургия. Журнал им. Н.И. Пироговаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslauternприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Representation of knowledge and uncertainty in temporal logic LTL with since on frames Z of integer numbers [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslauternприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Chance discovery and unification in linear modal logic [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslauternприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Linear Temporal Logic LTL: Basis for Admissible Rules [статья из журнала]2011, JOURNAL OF LOGIC AND COMPUTATIONприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Best Unifiers in Transitive Modal Logics [статья из журнала]2011, STUDIA LOGICAприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Unification in linear temporal logic LTL [статья из журнала]2011, ANNALS OF PURE AND APPLIED LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Inference Rules in Multi-agents' Temporal Logics : монография [глава из книги]2011, TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IVприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- CОЧЕТАННЫЕ И КОМБИНИРОВАННЫЕ ОПЕРАЦИИ У БОЛЬНЫХ С ИНФРАРЕНАЛЬНЫМИ АНЕВРИЗМАМИ БРЮШНОЙ АОРТЫ : научное издание [статья из журнала]2010, Ангиология и сосудистая хирургияприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Algorithm for decision procedure in temporal logic treating uncertainty, plausibility, knowledge and interacting agents : научное издание [статья из журнала]2010, International Journal of Intelligent Information Technologiesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A tableau method for checking rule admissibility in S4 : научное издание [статья из журнала]2010, Electronic Notes in Theoretical Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-agent logic with distances based on linear temporal frames : научное издание [статья из журнала]2010, Lecture Notes in Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Rules admissible in transitive temporal logic TS4, sufficient condition : научное издание [статья из журнала]2010, Theoretical Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal logic TLZDU modeling local and global discovery with logical uncertainty : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2010, Proceedings - IEEE International Conference on Data Mining, ICDMприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics [доклад, тезисы доклада, статья из сборника материалов конференций]2010, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT Iприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Reasoning and inference rules in basic linear temporal logic ??script T? [статья из журнала (материалы конференций, опубликованные в журналах)]2010, (8 September 2010 through 10 September 2010, Cardiffприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction [статья из журнала]2010, International Journal of Advanced Intelligence Paradigmsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logical Analysis of Multi-agent Kripke Structures [доклад, тезисы доклада, статья из сборника материалов конференций]2010, AGENT AND MULTI-AGENT TECHNOLOGY FOR INTERNET AND ENTERPRISE SYSTEMSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of discovery and knowledge. Decision algorithm : научное издание [статья из журнала]2009, Intelligent Decision Technologiesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Temporal logic for modeling discovery and logical uncertainty : научное издание [статья из журнала]2009, Lecture Notes in Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Describing Evolutions of Multi-Agent Systems [доклад, тезисы доклада, статья из сборника материалов конференций]2009, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements [статья из журнала]2009, INFORMATION SCIENCESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Linear Temporal Logic LTLK extended by Multi-Agent Logic K-n with Interacting Agents [статья из журнала]2009, JOURNAL OF LOGIC AND COMPUTATIONприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of discovery and knowledge: Decision algorithm : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2008, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGSприсутствует в Web of Science Core Collection
- Temporal logic with interacting agents Decidability: Theorems and admissible rules : научное издание [статья из журнала]2008, Journal of Applied Non-Classical Logicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-modal and temporal logics with universal formula-reduction of admissibility to validity and unification : научное издание [статья из журнала]2008, Journal of Logic and Computationприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание [статья из журнала]2008, Theory of Computing Systemsприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents [статья из журнала]2008, Journal of Siberian Federal University. Серия: Математика и физикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (15 June 2008 through 20 June 2008, Athensприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (22 June 2008 through 26 June 2008, Zakopaneприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of plausibility for discovery in multi-agent environment deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagrebприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of discovery and knowledge: Decision algorithm [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagrebприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Linear temporal logic with until and next, logical consecutions [статья из журнала]2008, ANNALS OF PURE AND APPLIED LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logics with the universal modality and admissible consecutions : научное издание [статья из журнала]2007, Journal of Applied Non-Classical Logicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]2007, Interest Group in Pure and Applied Logics. Logic Journalприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous : научное издание [статья из журнала]2007, Fundamenta Informaticaeприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic of discovery in uncertain situations-deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Until-since temporal logic based on parallel time with common past. Deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Linear temporal logic with until and before on integer numbers, deciding algorithms : научное издание [статья из журнала]2006, Lecture Notes in Computer Scienceприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]2005, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logical consecutions in discrete linear temporal logic : научное издание [статья из журнала]2005, Journal of Symbolic Logicприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logical consecutions in intransitive temporal linear logic of finite intervals [статья из журнала]2005, Journal of Logic and Computationприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (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)
- Клиническая ангиология : руководство для врачей: в 2 томах [монография]2004присутствует в РИНЦ (eLIBRARY.RU)
- Tabular Logics with no Finite Bases for Inference Rules [статья из журнала]2004, Interest Group in Pure and Applied Logics. Logic Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]2003, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Barwise's information frames and modal logics : научное издание [статья из журнала]2003, Archive for Mathematical Logicприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Refined common knowledge logics or logics of common information : научное издание [статья из журнала]2003, Archive for Mathematical Logicприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Информационные фреймы Барвайса и модальные логики : научное издание [статья из журнала]2002, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]2002, Siberian Mathematical Journalприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]2001, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Construction of an explicit basis for rules admissible in modal system S4 [статья из журнала]2001, MATHEMATICAL LOGIC QUARTERLYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]2000, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Faces of monotonicity and wisdom formulas problem [статья из журнала]2000, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- On self-admissible quasicharacterizing inference rules [статья из журнала]2000, Studia Logicaприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Unification and passive inference rules for modal logics : научное издание [статья из журнала]2000, Journal of Applied Non-Classical Logicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]2000, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC [статья из журнала]2000, MATHEMATICAL LOGIC QUARTERLYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- An explicit basis for rules admissible in modal system s4 [статья из журнала]1999, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- An essay on unification and inference rules for modal logics : научное издание [статья из журнала]1999, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Description of modal logics inheriting admissible rules for S4 [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Independent bases for rules admissible in pretabular logics [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- On finite model property for admissible rules [статья из журнала]1999, MATHEMATICAL LOGIC QUARTERLYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- The structure of rigid frames of restricted depth [статья из журнала]1998, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Description of self-admissible quasi-characterizing inference rules : научное издание [статья из журнала]1998, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Нестандартные логические системы и правила вывода [отчёт о НИР]1998присутствует в РИНЦ (eLIBRARY.RU)
- Axiomatizing the next-interior fragment of dynamic topological logic : научное издание [статья из журнала]1997, Bulletin of Symbolic Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Preface and acknowledgments [статья из журнала (материалы конференций, опубликованные в журналах)]1997, Studies in Logic and the Foundations of Mathematicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU)
- Quasi-characteristic inference rules for modal logics : научное издание [статья из журнала]1997, Lecture Notes in Computer Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996присутствует в РИНЦ (eLIBRARY.RU)
- Elementary theories of free algebras for varieties corresponding to non-classical logics [доклад, тезисы доклада, статья из сборника материалов конференций]1996, ALGEBRAприсутствует в Web of Science Core Collection
- HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS [статья из журнала]1995, JOURNAL OF SYMBOLIC LOGICприсутствует в Web of Science Core Collection, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Modal logics preserving admissible for S4 inference rules [доклад, тезисы доклада, статья из сборника материалов конференций]1995, COMPUTER SCIENCE LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Preserving of admissible inference rules in modal logic : научное издание [статья из журнала]1994, Lecture Notes in Computer Science (см. в книгах)присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property [статья из журнала]1994, Studia Logicaприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS [статья из журнала]1993, MATHEMATICAL LOGIC QUARTERLYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- A modal analog for Glivenko’s theorem and its applications : научное издание [статья из журнала]1992, Notre Dame Journal of Formal Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC : научное издание [статья из журнала]1992, JOURNAL OF SYMBOLIC LOGICприсутствует в Web of Science Core Collection, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT [статья из журнала]1991, MATHEMATICAL NOTESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Logical equations and admissible rules of inference with parameters in modal provability logics : научное издание [статья из журнала]1990, Studia Logicaприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus : научное издание [статья из журнала]1990, Annals of Pure and Applied Logicприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS [статья из журнала]1990, MATHEMATICS OF THE USSR-IZVESTIYAприсутствует в Web of Science Core Collection, Scopus
- ADMISSION OF THE INHERENCE RULES WITH PARAMETERS FOR THE INTUITIONISTIC LOGICS AND THE INTUITIONISTIC KRIPKE MODELS [статья из журнала]1990, DOKLADY AKADEMII NAUK SSSRприсутствует в Web of Science Core Collection
- Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras : научное издание [статья из журнала]1989, Studies in Logic and the Foundations of Mathematicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU)
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC [статья из журнала]1986, MATHEMATICS OF THE USSR-IZVESTIYAприсутствует в Web of Science Core Collection, Scopus
- EQUATIONS IN FREE CLOSURE ALGEBRA AND THE SUBSTITUTION PROBLEM [статья из журнала]1986, DOKLADY AKADEMII NAUK SSSRприсутствует в Web of Science Core Collection
- The bases for admissible rules of logics S4 and int [статья из журнала]1985, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC [статья из журнала]1985, MATHEMATICS OF THE USSR-SBORNIKприсутствует в Web of Science Core Collection, Scopus
- CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC [статья из журнала]1985, DOKLADY AKADEMII NAUK SSSRприсутствует в Web of Science Core Collection
- ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS [статья из журнала]1985, MATHEMATICAL NOTESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic [статья из журнала]1984, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- COMPLETENESS OF MODAL-LOGICS WITH PREFINITE WIDTH [статья из журнала]1982, MATHEMATICAL NOTESприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.