Публикации

1. 1. Научное наследие Ларисы Львовны Максимовой. Работы Ларисы Львовны Максимовой и ее коллег в области неклассической логики : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Рыбаков В. В., Юн В. Ф.
   2025, Мальцевские чтения
2. 2. Лариса Львовна Максимова (некролог) : научное издание [статья из журнала]
   Артемов Сергей Николаевич, Беклемишев Лев Дмитриевич, Гончаров Сергей Савостьянович, Ершов Юрий Леонидович, Одинцов Сергей Павлович, Рыбаков Владимир Владимирович, Сперанский Станислав Олегович, Шехтман Валентин Борисович, Юн Вета Федоровна
   2025, Успехи математических наук
3. 3. Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability : научное издание [статья из журнала]
   Grekovich Konstantin V., Rybakov Vladimir V., Rimatskiy Vitaliy V.
   2025, Известия Иркутского государственного университета. Серия: Математика
4. 4. Interval Multi-agent Logic with Reliability Operator : научное издание [статья из журнала]
   Kiyatkin Vladimir R., Rybakov Vladimir V.
   2024, Журнал Сибирского федерального университета. Серия: Математика и физика
5. 5. The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N : научное издание [статья из журнала]
   Protsenko Nikita A., Rybakov Vladimir V.
   2024, Известия Иркутского государственного университета. Серия: Математика
6. 6. Admissibility and Unification in the Modal Logics Related to S4.2 : научное издание [статья из журнала]
   Rybakov V. V.
   2024, Siberian Mathematical Journal
7. 7. ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание [статья из журнала]
   Рыбаков Владимир Владимирович
   2024, Сибирский математический журнал
8. 8. Multi-Agent Temporal Logics, Information, Unification, and Projectivity : научное издание [статья из журнала]
   Rybakov V. V.
   2023, Algebra and Logic
9. 9. Многоагентные временные логики, информация, унифицируемость и проективность : научное издание [статья из журнала]
   Рыбаков Владимир Владимирович
   2023, Алгебра и логика
10. 10. Algorithms for recognizing formulas with none-stable truth values in branching time logic : научное издание [статья из журнала]
    Rybakov Vladimir V.
    2023, Procedia Computer Science (см. в книгах)
11. 11. Temporal and multi-agent logics, common knowledge, satisfability, unifcation, admissibility : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2023
12. 12. Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]
    Rybakov Vladimir V., Kiyatkin Vladimir R., Grekovich Konstantin V.
    2023, Известия Иркутского государственного университета. Серия: Математика
13. 13. Satisfiability Problem in Interval FP-logic : научное издание [статья из журнала]
    Protsenko Nikita A., Rybakov Vladimir V., Rimatskiy Vitaliy V.
    2023, Известия Иркутского государственного университета. Серия: Математика
14. 14. Dynamic Temporal Logical Operations in Multi-Agent Logics : научное издание [статья из журнала]
    Rybakov V. V.
    2022, Algebra and Logic
15. 15. Multiagent Temporal Logics, Unification Problems, and Admissibilities : научное издание [статья из журнала]
    Rybakov V. V.
    2022, Siberian Mathematical Journal
16. 16. Temporal Multi-Agents’ Logics Modelling Dynamic Temporal Accessibility Relations : научное издание [статья из журнала]
    Rybakov Vladimir V.
    2022, Procedia Computer Science (см. в книгах)
17. 17. Динамические временные операции в мультиагентных логиках : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2022, Алгебра и логика
18. 18. Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V., Kiyatkin V. R., Grekovich K. V.
    2022
19. 19. Satisfiability problem in interval FP-logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Prozenko N. A., Rybakov V. V., Rimatskiy V. V.
    2022
20. 20. Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers : научное издание [статья из журнала]
    Rybakov V. V.
    2022, Algebra and Logic
21. 21. Многоагентные временные логики, проблемы унификации и допустимости : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2022, Сибирский математический журнал
22. 22. Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2022, Procedia Computer Science
23. 23. Temporal Logic in Multi-agent Environment [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2022, Smart Innovation, Systems and Technologies
24. 24. Multiagent Temporal Logics, Unification Problems, and Admissibilities [статья из журнала]
    Rybakov V. V.
    2022, Siberian Mathematical Journal
25. 25. Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2022, Алгебра и логика
26. 26. Multi-Agents' Temporal Logic using Operations of Static Agents' Knowledge : научное издание [статья из журнала]
    Rybakov Vladimir V.
    2022, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
27. 27. ОПРЕДЕЛЕНИЕ ТРЕБУЕМОГО КОЛИЧЕСТВА СВЕТИЛЬНИКОВ С УЧЁТОМ СРОКА ОКУПАЕМОСТИ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Жирков И. С., Пешехонов Н. Е., Рыбаков В. В.
    2021, ПРОБЛЕМЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНИРОВАНИЯ И РАЗВИТИЯ НАЗЕМНОЙ ИНФРАСТРУКТУРЫ КОМПЛЕКСОВ СИСТЕМ ВООРУЖЕНИЯ
28. 28. Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание [статья из журнала]
    Rybakov Vladimir V.
    2021, Журнал Сибирского федерального университета. Серия: Математика и физика
29. 29. Quantitative modalities, possible applications to information analysis [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2021, Procedia Computer Science
30. 30. Temporal Multi-Agent’s Logic, Knowledge, Uncertainty, and Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V.
    2021, Smart Innovation, Systems and Technologies
31. 31. BRANCHING TIME LOGICS WITH MULTIAGENT TEMPORAL ACCESSIBILITY RELATIONS : научное издание [статья из журнала]
    Rybakov V. V.
    2021, SIBERIAN MATHEMATICAL JOURNAL
32. 32. Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2021, Сибирский математический журнал
33. 33. A short essay towards if p not equal np [статья из журнала]
    Rybakov Vladimir V.
    2021, Journal of Siberian Federal University - Mathematics and Physics
34. 34. A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length : научное издание [статья из журнала]
    Rybakov Vladimir V.
    2021, Журнал Сибирского федерального университета. Серия: Математика и физика
35. 35. Temporal logic with agents' temporal relations generated by time states : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2020
36. 36. Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2020, Алгебра и логика
37. 37. Multi-agent logic's modelling non-monotonic information and reasoning [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2020, Procedia Computer Science
38. 38. Representation of information and satisfiability, algorithms for multi-agent logics [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2020, Procedia Computer Science
39. 39. TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES : научное издание [статья из журнала]
    Rybakov V. V.
    2020, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
40. 40. Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations : научное издание [статья из журнала]
    Rybakov V. V.
    2020, LOBACHEVSKII JOURNAL OF MATHEMATICS
41. 41. Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem [статья из журнала]
    Rybakov V. V.
    2020, Algebra and Logic
42. 42. К ВОПРОСУ ОБОСНОВАНИЯ ТРЕБОВАНИЙ К ЗНАЧЕНИЯМ ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ СИСТЕМ ЭЛЕКТРОСНАБЖЕНИЯ В СОСТАВЕ СПЕЦИАЛЬНОГО ОБЪЕКТА : научное издание [статья из журнала]
    Воронин А. Е., Пешехонов Н. Е., Рыбаков В. В.
    2019, Труды Военно-космической академии имени А.Ф.Можайского
43. 43. Chance Discovery and Analysis of Data via Multi-Agent Logics : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov Vladimir V.
    2019, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)
44. 44. BRANCHING TIME AGENT'S LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM : научное издание [статья из журнала]
    Rybakov V. V.
    2019, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
45. 45. Non-classical multi-agent logics with multi-valuations : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2018
46. 46. Временные мультиагентные логики с мультиозначиваниями : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2018, Сибирский математический журнал
47. 47. MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM : научное издание [статья из журнала]
    Moor Michael Alexandrovich, Rybakov Vladimir Vladimirovich
    2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
48. 48. Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov Vladimir V.
    2018, Larisa Maksimova on implication, interpolation, and definability
49. 49. Multiagent Temporal Logics with Multivaluations [статья из журнала]
    Rybakov V. V.
    2018, Siberian Mathematical Journal
50. 50. TEMPORAL MULTI-VALUED LOGIC WITH LOST WORLDS IN THE PAST : сборник научных трудов [статья из журнала]
    Rybakov V. V.
    2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
51. 51. Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]
    Bashmakov Stepan, Kosheleva Anna, Rybakov Vladimir V.
    2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
52. 52. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, Математика в современном мире
53. 53. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., RYBAKOV V. V.
    2017, Математика в современном мире
54. 54. Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, МАК: Математики - Алтайскому краю
55. 55. Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание [статья из журнала]
    Рыбаков Владимир Владимирович
    2017, Сибирский математический журнал
56. 56. Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms : научное издание [статья из журнала]
    Rybakov V. V.
    2017, Siberian Mathematical Journal
57. 57. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016
58. 58. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., Rybakov V. V.
    2016, Алгебра и логика: теория и приложения
59. 59. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V. V.
    2016, Мальцевские чтения
60. 60. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    Bashmakov Stepan I., Kosheleva Anna V., Rybakov Vladimir
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
61. 61. Non-transitive linear temporal logic and logical knowledge operations : научное издание [статья из журнала]
    Rybakov V. V.
    2016, Journal of Logic and Computation
62. 62. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016, Сибирские электронные математические известия
63. 63. Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov Vladimir
    2016, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)
64. 64. Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility : научное издание [статья из журнала]
    Odintsov S., Rybakov V. V.
    2015, Logica Universalis
65. 65. Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    Лукьянчук Александра Николаевна, Рыбаков Владимир Владимирович
    2015, Сибирский математический журнал
66. 66. Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]
    Luk'yanchuk A. N., Rybakov V. V.
    2015, SIBERIAN MATHEMATICAL JOURNAL
67. 67. UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание [статья из журнала]
    Odintsov S. P., Rybakov V. V.
    2014, Сибирские электронные математические известия
68. 68. Multi-agent non-linear temporal logic with embodied agent describing uncertainty [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V.
    2014, Advances in Intelligent Systems and Computing
69. 69. Projective formulas and unification in linear temporal logic LTLU [статья из журнала]
    Rybakov Vladimir
    2014, LOGIC JOURNAL OF THE IGPL
70. 70. Temporal logics modeling logical uncertainty, local and global chance discovery : научное издание [статья из журнала]
    Rybakov V.
    2013, Studies in Computational Intelligence
71. 71. Computing Truth of Logical Statements in Multi-Agents’ Environment : научное издание [статья из журнала]
    McLean David, Rybakov Vladimir V.
    2013, Журнал Сибирского федерального университета. Серия: Математика и физика
72. 72. Unification and admissible rules for paraconsistent minimal johanssons' logic J and positive intuitionistic logic IPC+ : научное издание [статья из журнала]
    Rybakov V., Odintsov S.
    2013, Annals of Pure and Applied Logic
73. 73. СЕРГЕЙ ИЛЬИЧ МАРДАЕВ (6.04.1962 — 10.04.2013) [статья из журнала]
    Алаев П. Е., Пальчунов Д. Е., Пузаренко В. Г., Рыбаков В. В., Рычков К. Л., Ряскин А. Н., Тайманов И. А., Филюрин А. С., Храмцов Д. Г., Чуркин В. А., Богопольский О. В., Васильев А. В., Гончаров С. С., Ершов Ю. Л., Мазуров В. Д., Максимова Л. Л., Морозов А. С., Одинцов С. П.
    2013, Сибирские электронные математические известия
74. 74. Multi-agent temporary logic TS4KnU based at non-linear time and imitating uncertainty via agents' interaction [статья из журнала (материалы конференций, опубликованные в журналах)]
    McLean D., Rybakov V. V.
    2013, (9 June 2013 through 13 June 2013, Zakopane
75. 75. Unifiers in transitive modal logics for formulas with coefficients (meta-variables) [статья из журнала]
    Rybakov Vladimir
    2013, LOGIC JOURNAL OF THE IGPL
76. 76. Writing out unifiers for formulas with coefficients in intuitionistic logic [статья из журнала]
    Rybakov V. V.
    2013, LOGIC JOURNAL OF THE IGPL
77. 77. Writing out unifiers in linear temporal logic : научное издание [статья из журнала]
    Rybakov V. V.
    2012, Journal of Logic and Computation
78. 78. Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V.
    2012, Frontiers in Artificial Intelligence and Applications
79. 79. Multi-agent logic based on temporary logic TS4Kn serving web search [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V.
    2012, ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS
80. 80. Logical analysis for chance discovery in multi-agents' environment [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V. V.
    2012, Advances in knowledge-based and intelligent information and engineering systems
81. 81. Одномоментные вмешательства у больных с инфраренальной аневризмой брюшного отдела аорты : научное издание [статья из журнала]
    Дудкин Б. П., Буткевич А. Ц., Рыбаков В. В., Панько В. Я.
    2011, Хирургия. Журнал им. Н.И. Пирогова
82. 82. Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V. V.
    2011, (12 September 2011 through 14 September 2011, Kaiserslautern
83. 83. Representation of knowledge and uncertainty in temporal logic LTL with since on frames Z of integer numbers [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V. V.
    2011, (12 September 2011 through 14 September 2011, Kaiserslautern
84. 84. Chance discovery and unification in linear modal logic [статья из журнала (материалы конференций, опубликованные в журналах)]
    Rybakov V. V.
    2011, (12 September 2011 through 14 September 2011, Kaiserslautern
85. 85. Linear Temporal Logic LTL: Basis for Admissible Rules [статья из журнала]
    Babenyshev S., Rybakov V.
    2011, JOURNAL OF LOGIC AND COMPUTATION
86. 86. Best Unifiers in Transitive Modal Logics [статья из журнала]
    Rybakov Vladimir V.
    2011, STUDIA LOGICA
87. 87. Unification in linear temporal logic LTL [статья из журнала]
    Babenyshev S., Rybakov V.
    2011, ANNALS OF PURE AND APPLIED LOGIC
88. 88. Inference Rules in Multi-agents' Temporal Logics : монография [глава из книги]
    Rybakov V.
    2011, TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IV
89. 89. CОЧЕТАННЫЕ И КОМБИНИРОВАННЫЕ ОПЕРАЦИИ У БОЛЬНЫХ С ИНФРАРЕНАЛЬНЫМИ АНЕВРИЗМАМИ БРЮШНОЙ АОРТЫ : научное издание [статья из журнала]
    Дудкин Б. П., Буткевич А. Ц., Рыбаков В. В., Панько В. Я.
    2010, Ангиология и сосудистая хирургия
90. 90. Algorithm for decision procedure in temporal logic treating uncertainty, plausibility, knowledge and interacting agents : научное издание [статья из журнала]
    Rybakov V.
    2010, International Journal of Intelligent Information Technologies
91. 91. A tableau method for checking rule admissibility in S4 : научное издание [статья из журнала]
    Babenyshev S., Rybakov V., Schmidt R. A., Tishkovsky D.
    2010, Electronic Notes in Theoretical Computer Science
92. 92. Multi-agent logic with distances based on linear temporal frames : научное издание [статья из журнала]
    Rybakov V., Babenyshev S.
    2010, Lecture Notes in Computer Science
93. 93. Rules admissible in transitive temporal logic TS4, sufficient condition : научное издание [статья из журнала]
    Rybakov V.
    2010, Theoretical Computer Science
94. 94. Temporal logic TLZDU modeling local and global discovery with logical uncertainty : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V.
    2010, Proceedings - IEEE International Conference on Data Mining, ICDM
95. 95. A Framework to Compute Inference Rules Valid in Agents' Temporal Logics [доклад, тезисы доклада, статья из сборника материалов конференций]
    Babenyshev Sergey, Rybakov Vladimir
    2010, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I
96. 96. Reasoning and inference rules in basic linear temporal logic ??script T? [статья из журнала (материалы конференций, опубликованные в журналах)]
    Babenyshev S., Rybakov V.
    2010, (8 September 2010 through 10 September 2010, Cardiff
97. 97. Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction [статья из журнала]
    Rybakov V.
    2010, International Journal of Advanced Intelligence Paradigms
98. 98. Logical Analysis of Multi-agent Kripke Structures [доклад, тезисы доклада, статья из сборника материалов конференций]
    Babenyshev S., Rybakov V.
    2010, AGENT AND MULTI-AGENT TECHNOLOGY FOR INTERNET AND ENTERPRISE SYSTEMS
99. 99. Logic of discovery and knowledge. Decision algorithm : научное издание [статья из журнала]
    Babenyshev S., Rybakov V.
    2009, Intelligent Decision Technologies
100. 100. Temporal logic for modeling discovery and logical uncertainty : научное издание [статья из журнала]
     Babenyshev S., Rybakov V. V.
     2009, Lecture Notes in Computer Science
101. 101. Describing Evolutions of Multi-Agent Systems [доклад, тезисы доклада, статья из сборника материалов конференций]
     Babenyshev S., Rybakov V.
     2009, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS
102. 102. Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements [статья из журнала]
     Rybakov V.
     2009, INFORMATION SCIENCES
103. 103. Linear Temporal Logic LTLK extended by Multi-Agent Logic K-n with Interacting Agents [статья из журнала]
     Rybakov V.
     2009, JOURNAL OF LOGIC AND COMPUTATION
104. 104. Logic of discovery and knowledge: Decision algorithm : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
     Babenyshev Sergey, Rybakov Vladimir
     2008, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
105. 105. Temporal logic with interacting agents Decidability: Theorems and admissible rules : научное издание [статья из журнала]
     Rybakov V.
     2008, Journal of Applied Non-Classical Logics
106. 106. Multi-modal and temporal logics with universal formula-reduction of admissibility to validity and unification : научное издание [статья из журнала]
     Rybakov V.
     2008, Journal of Logic and Computation
107. 107. Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание [статья из журнала]
     Rybakov V.
     2008, Theory of Computing Systems
108. 108. A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents [статья из журнала]
     Rybakov Vladimir V., Babenyshev Sergej V.
     2008, Journal of Siberian Federal University. Серия: Математика и физика
109. 109. Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL [статья из журнала (материалы конференций, опубликованные в журналах)]
     Rybakov V., Babenyshev S.
     2008, (15 June 2008 through 20 June 2008, Athens
110. 110. Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]
     Rybakov V.
     2008, (22 June 2008 through 26 June 2008, Zakopane
111. 111. Logic of plausibility for discovery in multi-agent environment deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]
     Babenyshev S., Rybakov V.
     2008, (3 September 2008 through 5 September 2008, Zagreb
112. 112. Logic of discovery and knowledge: Decision algorithm [статья из журнала (материалы конференций, опубликованные в журналах)]
     Babenyshev S., Rybakov V.
     2008, (3 September 2008 through 5 September 2008, Zagreb
113. 113. Linear temporal logic with until and next, logical consecutions [статья из журнала]
     Rybakov V.
     2008, ANNALS OF PURE AND APPLIED LOGIC
114. 114. Logics with the universal modality and admissible consecutions : научное издание [статья из журнала]
     Rybakov V.
     2007, Journal of Applied Non-Classical Logics
115. 115. An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]
     Calardo Erica, Rybakov Vladimir V.
     2007, Interest Group in Pure and Applied Logics. Logic Journal
116. 116. Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous : научное издание [статья из журнала]
     Rybakov V. V.
     2007, Fundamenta Informaticae
117. 117. Logic of discovery in uncertain situations-deciding algorithms : научное издание [статья из журнала]
     Rybakov V.
     2007, Lecture Notes in Computer Science
118. 118. Until-since temporal logic based on parallel time with common past. Deciding algorithms : научное издание [статья из журнала]
     Rybakov V.
     2007, Lecture Notes in Computer Science
119. 119. Linear temporal logic with until and before on integer numbers, deciding algorithms : научное издание [статья из журнала]
     Rybakov V.
     2006, Lecture Notes in Computer Science
120. 120. A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]
     Rimatski V. V., Rybakov V. V.
     2005, Bulletin of the Section of Logic
121. 121. Logical consecutions in discrete linear temporal logic : научное издание [статья из журнала]
     Rybakov V. V.
     2005, Journal of Symbolic Logic
122. 122. Logical consecutions in intransitive temporal linear logic of finite intervals [статья из журнала]
     Rybakov V.
     2005, Journal of Logic and Computation
123. 123. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
     Golovanov M. I., Kosheleva A. V., Rybakov V.
     2005, LOGIC JOURNAL OF THE IGPL
124. 124. Клиническая ангиология : руководство для врачей: в 2 томах [монография]
     Покровский Анатолий Владимирович, Абакумов Михаил Михайлович, Алиев М. М., Байков Б. В., Богатов Юрий Петрович, Борисов А. В., Бырихин Н. И., Винницкий Леонид Ильич, Воронцов В. В., Выренков Юрий Евгеньевич, Гавриленко Александр Васильевич, Горбенко Ю. Ф., Грязнов Олег Германович, Дан Василий Нуцович, Джибладзе Д. Н., Дудкин Б. П., Ефименко Н. А., Замский Кирилл Сергеевич, Затевахин Игорь Иванович, Затовчен А. М. и другие
     2004
125. 125. Tabular Logics with no Finite Bases for Inference Rules [статья из журнала]
     Rybakov V.
     2004, Interest Group in Pure and Applied Logics. Logic Journal
126. 126. A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]
     Golovanov M. I., Rybakov V. V., Yurasova E. M., Golovanov M. I., Rybakov V. V., Yurasova E. M.
     2003, Bulletin of the Section of Logic
127. 127. Barwise's information frames and modal logics : научное издание [статья из журнала]
     Rybakov V. V.
     2003, Archive for Mathematical Logic
128. 128. Refined common knowledge logics or logics of common information : научное издание [статья из журнала]
     Rybakov V. V.
     2003, Archive for Mathematical Logic
129. 129. Информационные фреймы Барвайса и модальные логики : научное издание [статья из журнала]
     Рыбаков Владимир Владимирович
     2002, Алгебра и логика
130. 130. Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]
     Rybakov V. V., Rimatskii V. V.
     2002, Siberian Mathematical Journal
131. 131. Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
     Rybakov V. V., Kiyatkin V. R., Oner T.
     2001, Algebra and Logic
132. 132. Construction of an explicit basis for rules admissible in modal system S4 [статья из журнала]
     Rybakov V. V.
     2001, MATHEMATICAL LOGIC QUARTERLY
133. 133. Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]
     Rybakov V. V., Kiyatkin V. R., Terziler M.
     2000, Algebra and Logic
134. 134. Faces of monotonicity and wisdom formulas problem [статья из журнала]
     Rybakov V. V., Fedorishin B.
     2000, Bulletin of the Section of Logic
135. 135. On self-admissible quasicharacterizing inference rules [статья из журнала]
     Rybakov V. V., Terziler M., Gencer C.
     2000, Studia Logica
136. 136. Unification and passive inference rules for modal logics : научное издание [статья из журнала]
     Rybakov V. V., Terziler M., Gencer C.
     2000, Journal of Applied Non-Classical Logics
137. 137. Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]
     Rybakov V. V., Terziler M., Rimatskii V. V.
     2000, Algebra and Logic
138. 138. A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC [статья из журнала]
     Rybakov V. V., Remazki V., Terziler M.
     2000, MATHEMATICAL LOGIC QUARTERLY
139. 139. An explicit basis for rules admissible in modal system s4 [статья из журнала]
     Rybakov V. V.
     1999, Bulletin of the Section of Logic
140. 140. An essay on unification and inference rules for modal logics : научное издание [статья из журнала]
     Rybakov V. V., Terziler M., Gencer C.
     1999, Bulletin of the Section of Logic
141. 141. Description of modal logics inheriting admissible rules for S4 [статья из журнала]
     Rybakov VV, Gencer C, Oner T
     1999, Interest Group in Pure and Applied Logics. Logic Journal
142. 142. Independent bases for rules admissible in pretabular logics [статья из журнала]
     Rybakov V, Kiyatkin V, Terziler M
     1999, Interest Group in Pure and Applied Logics. Logic Journal
143. 143. On finite model property for admissible rules [статья из журнала]
     Rybakov V. V., Kiyatkin V. R., Mathematics Department, Science Faculty, Ege University, Bornova-Izmir, 35100, Turkey T.
     1999, MATHEMATICAL LOGIC QUARTERLY
144. 144. The structure of rigid frames of restricted depth [статья из журнала]
     Rybakov V. V., Oner T.
     1998, Bulletin of the Section of Logic
145. 145. Description of self-admissible quasi-characterizing inference rules : научное издание [статья из журнала]
     Rybakov V. V., Terziler M., Gencer C.
     1998, Bulletin of the Section of Logic
146. 146. Нестандартные логические системы и правила вывода [отчёт о НИР]
     Рыбаков В. В.
     1998
147. 147. Axiomatizing the next-interior fragment of dynamic topological logic : научное издание [статья из журнала]
     Kremer P., Mints G., Rybakov V.
     1997, Bulletin of Symbolic Logic
148. 148. Preface and acknowledgments [статья из журнала (материалы конференций, опубликованные в журналах)]
     Rybakov V. V.
     1997, Studies in Logic and the Foundations of Mathematics
149. 149. Quasi-characteristic inference rules for modal logics : научное издание [статья из журнала]
     Rybakov V. V.
     1997, Lecture Notes in Computer Science
150. 150. Нестандартные логические системы и правила вывода [отчёт о НИР]
     Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
     1996
151. 151. Elementary theories of free algebras for varieties corresponding to non-classical logics [доклад, тезисы доклада, статья из сборника материалов конференций]
     Rybakov V. V.
     1996, ALGEBRA
152. 152. HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS [статья из журнала]
     Rybakov V. V.
     1995, JOURNAL OF SYMBOLIC LOGIC
153. 153. Modal logics preserving admissible for S4 inference rules [доклад, тезисы доклада, статья из сборника материалов конференций]
     Rybakov V. V.
     1995, COMPUTER SCIENCE LOGIC
154. 154. Preserving of admissible inference rules in modal logic : научное издание [статья из журнала]
     Rybakov V. V.
     1994, Lecture Notes in Computer Science (см. в книгах)
155. 155. Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property [статья из журнала]
     Rybakov V. V.
     1994, Studia Logica
156. 156. INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS [статья из журнала]
     RYBAKOV V. V.
     1993, MATHEMATICAL LOGIC QUARTERLY
157. 157. A modal analog for Glivenko’s theorem and its applications : научное издание [статья из журнала]
     Rybakov V. V.
     1992, Notre Dame Journal of Formal Logic
158. 158. RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC : научное издание [статья из журнала]
     Rybakov V. V.
     1992, JOURNAL OF SYMBOLIC LOGIC
159. 159. SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT [статья из журнала]
     Rybakov V. V.
     1991, MATHEMATICAL NOTES
160. 160. Logical equations and admissible rules of inference with parameters in modal provability logics : научное издание [статья из журнала]
     Rybakov V. V.
     1990, Studia Logica
161. 161. Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus : научное издание [статья из журнала]
     Rybakov V. V.
     1990, Annals of Pure and Applied Logic
162. 162. CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS [статья из журнала]
     RYBAKOV V. V.
     1990, MATHEMATICS OF THE USSR-IZVESTIYA
163. 163. ADMISSION OF THE INHERENCE RULES WITH PARAMETERS FOR THE INTUITIONISTIC LOGICS AND THE INTUITIONISTIC KRIPKE MODELS [статья из журнала]
     RYBAKOV V. V.
     1990, DOKLADY AKADEMII NAUK SSSR
164. 164. Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras : научное издание [статья из журнала]
     Rybakov V. V.
     1989, Studies in Logic and the Foundations of Mathematics
165. 165. Equations in free topoboolean algebra : научное издание [статья из журнала]
     Rybakov V. V.
     1986, Algebra and Logic
166. 166. DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC [статья из журнала]
     RYBAKOV V. V.
     1986, MATHEMATICS OF THE USSR-IZVESTIYA
167. 167. EQUATIONS IN FREE CLOSURE ALGEBRA AND THE SUBSTITUTION PROBLEM [статья из журнала]
     RYBAKOV V. V.
     1986, DOKLADY AKADEMII NAUK SSSR
168. 168. The bases for admissible rules of logics S4 and int [статья из журнала]
     Rybakov V. V.
     1985, Algebra and Logic
169. 169. BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC [статья из журнала]
     RYBAKOV V. V.
     1985, MATHEMATICS OF THE USSR-SBORNIK
170. 170. CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC [статья из журнала]
     RYBAKOV V. V.
     1985, DOKLADY AKADEMII NAUK SSSR
171. 171. ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS [статья из журнала]
     Rybakov V. V.
     1985, MATHEMATICAL NOTES
172. 172. A criterion for admissibility of rules in the model system S4 and the intuitionistic logic : научное издание [статья из журнала]
     Rybakov V. V.
     1984, Algebra and Logic
173. 173. A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic [статья из журнала]
     Rybakov V. V.
     1984, Algebra and Logic
174. 174. COMPLETENESS OF MODAL-LOGICS WITH PREFINITE WIDTH [статья из журнала]
     RYBAKOV V. V.
     1982, MATHEMATICAL NOTES