
доктор физико-математических наук, профессор
тел.: (391) 206-20-76
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1951
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1951
Место работы и должность
- Кафедра алгебры и математической логики, профессор
Образование
- Новосибирский государственный университет — Математика, квалификация "Математика, прикладная математика", 1973 г.
Стаж работы (полных лет)
- Общий: 47
По специальности: 47
Научные направления, профессиональные интересы
- Допустимость и производность правил вывода в логических системах
- Логико-алгебраические проблемы искусственного интеллекта
- Унификационные проблемы в нестандартных логиках
- Модальная логика
- Временная логика
- Конструктивная логика
- Логика в Компьютер Сайенс
- Информатика
- Искусственный Интеллект
- Представление и Анализ Информации
Диссертации
- Кандидатская диссертация
- Теория Модальных Логик — 1979 г.
- Докторская диссертация
- Допустимые правила модальных и суперинтуиционистских логик — 1988 г.
Преподаваемые дисциплины
- Элементы теории нестандартной логики
- Математическая Логика
- Дискретная Математика
- Алгебра
Публикации
Последние публикации:
- Multi-agent logic's modelling non-monotonic information and reasoning [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Science
- Representation of information and satisfiability, algorithms for multi-agent logics [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Science
- TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES : научное издание [статья из журнала]2020, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations : научное издание [статья из журнала]2020, LOBACHEVSKII JOURNAL OF MATHEMATICS
- Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem [статья из журнала]2020, Algebra and Logic
Показать ещё публикации
- Chance Discovery and Analysis of Data via Multi-Agent Logics2019, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)
- Chance discovery and analysis of data via multi-agent logics [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Procedia Computer Science
- BRANCHING TIME AGENT'S LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM : научное издание [статья из журнала]2019, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Временные мультиагентные логики с мультиозначиваниями : научное издание [статья из журнала]2018, Сибирский математический журнал
- MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM : научное издание [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Larisa Maksimova on implication, interpolation, and definability
- Multiagent Temporal Logics with Multivaluations [статья из журнала]2018, Siberian Mathematical Journal
- TEMPORAL MULTI-VALUED LOGIC WITH LOST WORLDS IN THE PAST : сборник научных трудов [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Unification for multi-agent temporal logics with universal modality [статья из журнала]2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, МАК: Математики - Алтайскому краю
- Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание [статья из журнала]2017, Сибирский математический журнал
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms : научное издание [статья из журнала]2017, Siberian Mathematical Journal
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016
- 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
- Non-transitive linear temporal logic and logical knowledge operations : научное издание [статья из журнала]2016, Journal of Logic and Computation
- NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]2016, Сибирские электронные математические известия
- Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]2016, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)
- Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility : научное издание [статья из журнала]2015, Logica Universalis
- Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]2015, Сибирский математический журнал
- Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]2015, SIBERIAN MATHEMATICAL JOURNAL
- UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание [статья из журнала]2014, Сибирские электронные математические известия
- Multi-agent non-linear temporal logic with embodied agent describing uncertainty [статья из журнала (материалы конференций, опубликованные в журналах)]2014, Advances in Intelligent Systems and Computing
- Projective formulas and unification in linear temporal logic LTLU [статья из журнала]2014, LOGIC JOURNAL OF THE IGPL
- Temporal logics modeling logical uncertainty, local and global chance discovery : научное издание [статья из журнала]2013, Studies in Computational Intelligence
- Computing Truth of Logical Statements in Multi-Agents’ Environment : научное издание [статья из журнала]2013, Журнал Сибирского федерального университета. Серия: Математика и физика
- Unification and admissible rules for paraconsistent minimal johanssons' logic J and positive intuitionistic logic IPC+ : научное издание [статья из журнала]2013, Annals of Pure and Applied Logic
- СЕРГЕЙ ИЛЬИЧ МАРДАЕВ (6.04.1962 — 10.04.2013) [статья из журнала]2013, Сибирские электронные математические известия
- 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
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) [статья из журнала]2013, LOGIC JOURNAL OF THE IGPL
- Writing out unifiers for formulas with coefficients in intuitionistic logic [статья из журнала]2013, LOGIC JOURNAL OF THE IGPL
- Writing out unifiers in linear temporal logic : научное издание [статья из журнала]2012, Journal of Logic and Computation
- Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Frontiers in Artificial Intelligence and Applications
- Multi-agent logic based on temporary logic TS4Kn serving web search [статья из журнала (материалы конференций, опубликованные в журналах)]2012, ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS
- Logical analysis for chance discovery in multi-agents' environment [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Advances in knowledge-based and intelligent information and engineering systems
- Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslautern
- 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
- Chance discovery and unification in linear modal logic [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslautern
- Linear Temporal Logic LTL: Basis for Admissible Rules [статья из журнала]2011, JOURNAL OF LOGIC AND COMPUTATION
- Best Unifiers in Transitive Modal Logics [статья из журнала]2011, STUDIA LOGICA
- Unification in linear temporal logic LTL [статья из журнала]2011, ANNALS OF PURE AND APPLIED LOGIC
- Inference Rules in Multi-agents' Temporal Logics : монография [глава из книги]2011, TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IV
- Algorithm for decision procedure in temporal logic treating uncertainty, plausibility, knowledge and interacting agents : научное издание [статья из журнала]2010, International Journal of Intelligent Information Technologies
- A tableau method for checking rule admissibility in S4 : научное издание [статья из журнала]2010, Electronic Notes in Theoretical Computer Science
- Multi-agent logic with distances based on linear temporal frames : научное издание [статья из журнала]2010, Lecture Notes in Computer Science
- Rules admissible in transitive temporal logic TS4, sufficient condition : научное издание [статья из журнала]2010, Theoretical Computer Science
- Temporal logic TLZDU modeling local and global discovery with logical uncertainty : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2010, Proceedings - IEEE International Conference on Data Mining, ICDM
- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics [доклад, тезисы доклада, статья из сборника материалов конференций]2010, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I
- Reasoning and inference rules in basic linear temporal logic ??script T? [статья из журнала (материалы конференций, опубликованные в журналах)]2010, (8 September 2010 through 10 September 2010, Cardiff
- Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction [статья из журнала]2010, International Journal of Advanced Intelligence Paradigms
- Logical Analysis of Multi-agent Kripke Structures [доклад, тезисы доклада, статья из сборника материалов конференций]2010, AGENT AND MULTI-AGENT TECHNOLOGY FOR INTERNET AND ENTERPRISE SYSTEMS
- Logic of discovery and knowledge. Decision algorithm : научное издание [статья из журнала]2009, Intelligent Decision Technologies
- Temporal logic for modeling discovery and logical uncertainty : научное издание [статья из журнала]2009, Lecture Notes in Computer Science
- Describing Evolutions of Multi-Agent Systems [доклад, тезисы доклада, статья из сборника материалов конференций]2009, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS
- Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements [статья из журнала]2009, INFORMATION SCIENCES
- Linear Temporal Logic LTLK extended by Multi-Agent Logic K-n with Interacting Agents [статья из журнала]2009, JOURNAL OF LOGIC AND COMPUTATION
- Logic of discovery and knowledge: Decision algorithm : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2008, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
- Temporal logic with interacting agents Decidability: Theorems and admissible rules : научное издание [статья из журнала]2008, Journal of Applied Non-Classical Logics
- Multi-modal and temporal logics with universal formula-reduction of admissibility to validity and unification : научное издание [статья из журнала]2008, Journal of Logic and Computation
- 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
- A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents [статья из журнала]2008, Journal of Siberian Federal University. Серия: Математика и физика
- Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (15 June 2008 through 20 June 2008, Athens
- Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (22 June 2008 through 26 June 2008, Zakopane
- Logic of plausibility for discovery in multi-agent environment deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagreb
- Logic of discovery and knowledge: Decision algorithm [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagreb
- Linear temporal logic with until and next, logical consecutions [статья из журнала]2008, ANNALS OF PURE AND APPLIED LOGIC
- Logics with the universal modality and admissible consecutions : научное издание [статья из журнала]2007, Journal of Applied Non-Classical Logics
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]2007, Interest Group in Pure and Applied Logics. Logic Journal
- Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous : научное издание [статья из журнала]2007, Fundamenta Informaticae
- Logic of discovery in uncertain situations-deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Science
- Until-since temporal logic based on parallel time with common past. Deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Science
- Linear temporal logic with until and before on integer numbers, deciding algorithms : научное издание [статья из журнала]2006, Lecture Notes in Computer Science
- A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]2005, Bulletin of the Section of Logic
- Logical consecutions in discrete linear temporal logic : научное издание [статья из журнала]2005, Journal of Symbolic Logic
- Logical consecutions in intransitive temporal linear logic of finite intervals [статья из журнала]2005, Journal of Logic and Computation
- Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]2005, LOGIC JOURNAL OF THE IGPL
- Tabular Logics with no Finite Bases for Inference Rules [статья из журнала]2004, Interest Group in Pure and Applied Logics. Logic Journal
- A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]2003, Bulletin of the Section of Logic
- Barwise's information frames and modal logics : научное издание [статья из журнала]2003, Archive for Mathematical Logic
- Refined common knowledge logics or logics of common information : научное издание [статья из журнала]2003, Archive for Mathematical Logic
- Информационные фреймы Барвайса и модальные логики : научное издание [статья из журнала]2002, Алгебра и логика
- Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]2002, Siberian Mathematical Journal
- Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]2001, Algebra and Logic
- Construction of an explicit basis for rules admissible in modal system S4 [статья из журнала]2001, MATHEMATICAL LOGIC QUARTERLY
- Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]2000, Algebra and Logic
- Faces of monotonicity and wisdom formulas problem [статья из журнала]2000, Bulletin of the Section of Logic
- On self-admissible quasicharacterizing inference rules [статья из журнала]2000, Studia Logica
- Unification and passive inference rules for modal logics : научное издание [статья из журнала]2000, Journal of Applied Non-Classical Logics
- Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]2000, Algebra and Logic
- A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC [статья из журнала]2000, MATHEMATICAL LOGIC QUARTERLY
- An explicit basis for rules admissible in modal system s4 [статья из журнала]1999, Bulletin of the Section of Logic
- An essay on unification and inference rules for modal logics : научное издание [статья из журнала]1999, Bulletin of the Section of Logic
- Description of modal logics inheriting admissible rules for S4 [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journal
- Independent bases for rules admissible in pretabular logics [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journal
- On finite model property for admissible rules [статья из журнала]1999, MATHEMATICAL LOGIC QUARTERLY
- The structure of rigid frames of restricted depth [статья из журнала]1998, Bulletin of the Section of Logic
- Description of self-admissible quasi-characterizing inference rules : научное издание [статья из журнала]1998, Bulletin of the Section of Logic
- Нестандартные логические системы и правила вывода [отчёт о НИР]1998
- Axiomatizing the next-interior fragment of dynamic topological logic : научное издание [статья из журнала]1997, Bulletin of Symbolic Logic
- Preface and acknowledgments [статья из журнала (материалы конференций, опубликованные в журналах)]1997, Studies in Logic and the Foundations of Mathematics
- Quasi-characteristic inference rules for modal logics : научное издание [статья из журнала]1997, Lecture Notes in Computer Science
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996
- Elementary theories of free algebras for varieties corresponding to non-classical logics [доклад, тезисы доклада, статья из сборника материалов конференций]1996, ALGEBRA
- HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS [статья из журнала]1995, JOURNAL OF SYMBOLIC LOGIC
- Modal logics preserving admissible for S4 inference rules [доклад, тезисы доклада, статья из сборника материалов конференций]1995, COMPUTER SCIENCE LOGIC
- Preserving of admissible inference rules in modal logic : научное издание [статья из журнала]1994, Lecture Notes in Computer Science (см. в книгах)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property [статья из журнала]1994, Studia Logica
- INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS [статья из журнала]1993, MATHEMATICAL LOGIC QUARTERLY
- A modal analog for Glivenko’s theorem and its applications : научное издание [статья из журнала]1992, Notre Dame Journal of Formal Logic
- RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC : научное издание [статья из журнала]1992, JOURNAL OF SYMBOLIC LOGIC
- SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT [статья из журнала]1991, MATHEMATICAL NOTES
- Logical equations and admissible rules of inference with parameters in modal provability logics : научное издание [статья из журнала]1990, Studia Logica
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus : научное издание [статья из журнала]1990, Annals of Pure and Applied Logic
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS [статья из журнала]1990, MATHEMATICS OF THE USSR-IZVESTIYA
- ADMISSION OF THE INHERENCE RULES WITH PARAMETERS FOR THE INTUITIONISTIC LOGICS AND THE INTUITIONISTIC KRIPKE MODELS [статья из журнала]1990, DOKLADY AKADEMII NAUK SSSR
- Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras : научное издание [статья из журнала]1989, Studies in Logic and the Foundations of Mathematics
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC [статья из журнала]1986, MATHEMATICS OF THE USSR-IZVESTIYA
- EQUATIONS IN FREE CLOSURE ALGEBRA AND THE SUBSTITUTION PROBLEM [статья из журнала]1986, DOKLADY AKADEMII NAUK SSSR
- The bases for admissible rules of logics S4 and int [статья из журнала]1985, Algebra and Logic
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC [статья из журнала]1985, MATHEMATICS OF THE USSR-SBORNIK
- CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC [статья из журнала]1985, DOKLADY AKADEMII NAUK SSSR
- ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS [статья из журнала]1985, MATHEMATICAL NOTES
- A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic [статья из журнала]1984, Algebra and Logic
- COMPLETENESS OF MODAL-LOGICS WITH PREFINITE WIDTH [статья из журнала]1982, MATHEMATICAL NOTES
Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.
Наиболее значимые публикации:
- LL Maksimova, VV Rybakov. A lattice of normal modal logics, Algebra and Logic, 13 (2), 1974, p. 105-122
- VV Rybakov. A criterion for admissibility of rules in the model system S4 and the intuitionistic logic, Algebra and Logic, 23 (5), 1984, p. 369-384
- VV Rybakov. Rules of inference with parameters for intuitionistic logic. Journal of Symbolic Logic, 1992, p. 912-923
- VV Rybakov. Admissibility of logical inference rules, Studies in Logic and Foundations of Mathematics., Vol. 136, Elsevier Publ., Amsterdam, New-York, 1997, 617 pp.
- VV Rybakov. Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, 47 (4), 2001, p. 441-446
- VV Rybakov. Logical consecutions in discrete linear temporal logic, The Journal of Symbolic Logic, 70 (4), 2005, p. 1137-1149
- VV Rybakov. Linear temporal logic with until and next, logical consecutions, Annals of Pure and Applied Logic, 155 (1), 2008, p. 32-45
- S Babenyshev, V Rybakov. Linear temporal logic LTL: basis for admissible rules, Journal of Logic and Computation, 2010, exq020
- S Babenyshev, V Rybakov. Unification in linear temporal logic LTL, Annals of Pure and Applied logic 162 (12), 2011, 991-1000
- S Odintsov, V Rybakov. Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+, Annals of Pure and Applied Logic, 164 (7), 2013, p. 771-784
- VV Rybakov. Writing out unifiers for formulas with coefficients in intuitionistic logic. Logic Journal of IGPL 21 (2), 2013, p. 187-198
- V Rybakov. Projective formulas and unification in linear temporal logic LTLU, Logic Journal of IGPL, Oxford Press, 22(4): 665-672 (2014)
- AN Luk’yanchuk, VV Rybakov. Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation, Siberian Mathematical Journal 56 (3), 2015, p. 455-470
- S. I. Bashmakov, A. V. Kosheleva, V. Rybakov. Projective formulas and unification in linear discrete temporal multi-agent logics, Siberian Electr. Math. Reports, 13, 2016, p. 923–929
- S. I. Bashmakov, A. V. Kosheleva, V. Rybakov. Non-unifiability in linear temporal logic of knowledge with multi-agent relations, Siberian Electr. Math. Reports, 13, 2016, 656–663
- V. Rybakov. Non-transitive linear temporal logic and logical knowledge operations. Journal of Logic and Computation. 26 (3), 2016, p. 945-958
- Vladimir V. Rybakov: Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. Logic Foundations of Computer Science (LFCS), Lecture Notes in Computer Science book series (LNCS, volume 9537), USA 2016, Springer, 364-375
- V. V. Rybakov. Study Chance Discovery in Temporal Linear Non-Transitive Logic with Agent’s Knowledge, - 2nd European Workshop on Chance Discovery and Data Synthesis (EWCDDS16), 39 – 41
- S. Odintsov, V. Rybakov. Inference rules in Nelson’s logics, admissibility and weak admissibility. -- Logica Universalis, Springer, 2015, 9 (1), 93-120
- В. В. Рыбаков. Интранзитивные временные многоагентные логики, информация и знание, разрешимость. - Сибирский математический журнал, 2017, 58 (5), 1128-1143.
Всего публикаций: 250.
Ссылка на профиль в Академии Google
Участие в грантах, проектах
- Нестандартные логические системы и правила вывода — РФФИ, 1996 г. (грант № № 96-01-00228)
- EPSRC research grant "Исследования приложений математической логики в CS и Al" — Манчестерский городской университет, 2008-2011 (грант № № EP/F014406/1)