Публикации: Рыбаков Вячеслав Вячеславович

  1. 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
  2. Временные мультиагентные логики с мультиозначиваниями [статья из журнала]
    2018, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Web of Science Russian Science Citation Index, Список ВАК
  3. АКТУАЛЬНЫЕ ПРОБЛЕМЫ УЧЕТА ТРЕБОВАНИЙ К НАДЕЖНОСТИ ЭЛЕКТРОЭНЕРГЕТИЧЕСКОЙ СИСТЕМЫ ПРИ ПОСТРОЕНИИ СИСТЕМЫ ЭЛЕКТРОСНАБЖЕНИЯ СПЕЦИАЛЬНЫХ ОБЪЕКТОВ [статья из журнала]
    Рыбаков Вячеслав Вячеславович, Пешехонов Николай Егорович, Воронин Алексей Евгеньевич
    2018, Известия Тульского государственного университета. Технические науки
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  4. 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
  5. Multiagent Temporal Logics with Multivaluations [статья из журнала]
    2018, Siberian Mathematical Journal
    присутствует в Scopus, РИНЦ (eLIBRARY.RU)
  6. TEMPORAL MULTI-VALUED LOGIC WITH LOST WORLDS IN THE PAST [статья из журнала]
    2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
    присутствует в Web of Science Core Collection (1 цит.), РИНЦ (eLIBRARY.RU)
  7. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
    присутствует в РИНЦ (eLIBRARY.RU)
  8. Unification for multi-agent temporal logics with universal modality [статья из журнала]
    2017, IfCoLog Journal of Logics and their Applications
  9. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
  10. Линейные транзитивные логики знания и времени, унификация и проективные формулы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, МАК: Математики - Алтайскому краю
    присутствует в РИНЦ (eLIBRARY.RU)
  11. Интранзитивные временные многоагентные логики, информация и знание, разрешимость [статья из журнала]
    2017, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  12. Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms [статья из журнала]
    2017, Siberian Mathematical Journal
    присутствует в Web of Science Core Collection (1 цит.), Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  13. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016
    присутствует в РИНЦ (eLIBRARY.RU)
  14. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Алгебра и логика: теория и приложения
  15. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Мальцевские чтения
  16. 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 (1 цит.), Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  17. Non-transitive linear temporal logic and logical knowledge operations [статья из журнала]
    2016, Journal of Logic and Computation
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  18. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS [статья из журнала]
    2016, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  19. Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)
    присутствует в Web of Science Core Collection, Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (1 цит.)
  20. Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility [статья из журнала]
    Odintsov S., Rybakov V.
    2015, Logica Universalis
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  21. Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    2015, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  22. 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), Список ВАК
  23. UNIFICATION PROBLEM IN NELSON’S LOGIC N4 [статья из журнала]
    Odintsov S. P., Rybakov V. V.
    2014, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  24. Multi-agent non-linear temporal logic with embodied agent describing uncertainty [статья из журнала (материалы конференций, опубликованные в журналах)]
    2014, (18 June 2014 through 20 June 2014
    присутствует в РИНЦ (eLIBRARY.RU)
  25. Projective formulas and unification in linear temporal logic LTLU [статья из журнала]
    2014, LOGIC JOURNAL OF THE IGPL
    присутствует в Web of Science Core Collection (6 цит.), Scopus (5 цит.), РИНЦ (eLIBRARY.RU) (1 цит.)
  26. Temporal logics modeling logical uncertainty, local and global chance discovery [статья из журнала]
    2013, Studies in Computational Intelligence
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  27. Computing Truth of Logical Statements in Multi-Agents’ Environment [статья из журнала]
    McLean David, Rybakov Vladimir V.
    2013, Журнал Сибирского федерального университета. Серия: Математика и физика
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  28. 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
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (11 цит.), Ядро РИНЦ (eLIBRARY.RU)
  29. СЕРГЕЙ ИЛЬИЧ МАРДАЕВ (6.04.1962 — 10.04.2013) [статья из журнала]
    Алаев П. Е., Пальчунов Д. Е., Пузаренко В. Г., Рыбаков В. В., Рычков К. Л., Ряскин А. Н., Тайманов И. А., Филюрин А. С., Храмцов Д. Г., Чуркин В. А., Богопольский О. В., Васильев А. В., Гончаров С. С., Ершов Ю. Л., Мазуров В. Д., Максимова Л. Л., Морозов А. С., Одинцов С. П.
    2013, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  30. Multi-agent temporary logic TS4KnU based at non-linear time and imitating uncertainty via agents' interaction [статья из журнала (материалы конференций, опубликованные в журналах)]
    McLean D., Rybakov V.
    2013, (9 June 2013 through 13 June 2013, Zakopane
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  31. Unifiers in transitive modal logics for formulas with coefficients (meta-variables) [статья из журнала]
    2013, LOGIC JOURNAL OF THE IGPL
    присутствует в Web of Science Core Collection (7 цит.), Scopus (6 цит.), РИНЦ (eLIBRARY.RU) (3 цит.)
  32. Writing out unifiers for formulas with coefficients in intuitionistic logic [статья из журнала]
    2013, LOGIC JOURNAL OF THE IGPL
    присутствует в Web of Science Core Collection (8 цит.), Scopus, РИНЦ (eLIBRARY.RU) (4 цит.), Ядро РИНЦ (eLIBRARY.RU)
  33. Writing out unifiers in linear temporal logic [статья из журнала]
    2012, Journal of Logic and Computation
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  34. Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames [статья из журнала (материалы конференций, опубликованные в журналах)]
    2012
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  35. Multi-agent logic based on temporary logic TS4Kn serving web search [статья из журнала (материалы конференций, опубликованные в журналах)]
    2012
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  36. Logical analysis for chance discovery in multi-agents' environment [статья из журнала (материалы конференций, опубликованные в журналах)]
    2012
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  37. Одномоментные вмешательства у больных с инфраренальной аневризмой брюшного отдела аорты [статья из журнала]
    Дудкин Б. П., Буткевич А. Ц., Рыбаков В. В., Панько В. Я.
    2011, Хирургия. Журнал им. Н.И. Пирогова
    присутствует в РИНЦ (eLIBRARY.RU) (4 цит.)
  38. Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions [статья из журнала (материалы конференций, опубликованные в журналах)]
    2011, (12 September 2011 through 14 September 2011, Kaiserslautern
    присутствует в Scopus (7 цит.), РИНЦ (eLIBRARY.RU) (6 цит.)
  39. 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
    присутствует в Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (3 цит.)
  40. Chance discovery and unification in linear modal logic [статья из журнала (материалы конференций, опубликованные в журналах)]
    2011, (12 September 2011 through 14 September 2011, Kaiserslautern
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (6 цит.), Ядро РИНЦ (eLIBRARY.RU)
  41. Linear Temporal Logic LTL: Basis for Admissible Rules [статья из журнала]
    2011, JOURNAL OF LOGIC AND COMPUTATION
    присутствует в Web of Science Core Collection (24 цит.), Scopus, РИНЦ (eLIBRARY.RU) (21 цит.), Ядро РИНЦ (eLIBRARY.RU)
  42. Best Unifiers in Transitive Modal Logics [статья из журнала]
    2011, STUDIA LOGICA
    присутствует в Web of Science Core Collection, Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (2 цит.)
  43. Unification in linear temporal logic LTL [статья из журнала]
    2011, ANNALS OF PURE AND APPLIED LOGIC
    присутствует в Web of Science Core Collection (13 цит.), Scopus, РИНЦ (eLIBRARY.RU) (15 цит.), Ядро РИНЦ (eLIBRARY.RU)
  44. Inference Rules in Multi-agents' Temporal Logics [глава из книги]
    2011, TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IV
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  45. СОЧЕТАННЫЕ И КОМБИНИРОВАННЫЕ ОПЕРАЦИИ У БОЛЬНЫХ С ИНФРАРЕНАЛЬНЫМИ АНЕВРИЗМАМИ БРЮШНОЙ АОРТЫ [статья из журнала]
    Дудкин Б. П., Буткевич А. Ц., Рыбаков В. В., Панько В. Я.
    2010, Ангиология и сосудистая хирургия
    присутствует в РИНЦ (eLIBRARY.RU)
  46. 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) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  47. 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
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (6 цит.), Ядро РИНЦ (eLIBRARY.RU)
  48. Multi-agent logic with distances based on linear temporal frames [статья из журнала]
    2010, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  49. Rules admissible in transitive temporal logic TS4, sufficient condition [статья из журнала]
    2010, Theoretical Computer Science
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  50. Temporal logic TLZDU modeling local and global discovery with logical uncertainty [доклад, тезисы доклада, статья из сборника материалов конференций]
    2010, Proceedings - IEEE International Conference on Data Mining, ICDM
    присутствует в РИНЦ (eLIBRARY.RU)
  51. 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 (2 цит.), РИНЦ (eLIBRARY.RU) (2 цит.)
  52. Reasoning and inference rules in basic linear temporal logic ??script T? [статья из журнала (материалы конференций, опубликованные в журналах)]
    2010, (8 September 2010 through 10 September 2010, Cardiff
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  53. Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction [статья из журнала]
    2010, International Journal of Advanced Intelligence Paradigms
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  54. 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)
  55. Logic of discovery and knowledge. Decision algorithm [статья из журнала]
    2009, Intelligent Decision Technologies
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  56. Temporal logic for modeling discovery and logical uncertainty [статья из журнала]
    2009, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  57. Describing Evolutions of Multi-Agent Systems [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS
    присутствует в Web of Science Core Collection (10 цит.), Scopus, РИНЦ (eLIBRARY.RU) (11 цит.), Ядро РИНЦ (eLIBRARY.RU)
  58. Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements [статья из журнала]
    2009, INFORMATION SCIENCES
    присутствует в Web of Science Core Collection (12 цит.), Scopus, РИНЦ (eLIBRARY.RU) (14 цит.), Ядро РИНЦ (eLIBRARY.RU)
  59. 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 (17 цит.), Scopus, РИНЦ (eLIBRARY.RU) (17 цит.), Ядро РИНЦ (eLIBRARY.RU)
  60. Logic of discovery and knowledge: Decision algorithm [доклад, тезисы доклада, статья из сборника материалов конференций]
    2008, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
    присутствует в Web of Science Core Collection (3 цит.)
  61. Temporal logic with interacting agents Decidability: Theorems and admissible rules [статья из журнала]
    2008, Journal of Applied Non-Classical Logics
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  62. 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) (14 цит.), Ядро РИНЦ (eLIBRARY.RU)
  63. 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) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  64. 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. Серия: Математика и физика
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  65. Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL [статья из журнала (материалы конференций, опубликованные в журналах)]
    2008, (15 June 2008 through 20 June 2008, Athens
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (6 цит.), Ядро РИНЦ (eLIBRARY.RU)
  66. 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) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  67. Logic of plausibility for discovery in multi-agent environment deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]
    2008, (3 September 2008 through 5 September 2008, Zagreb
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  68. Logic of discovery and knowledge: Decision algorithm [статья из журнала (материалы конференций, опубликованные в журналах)]
    2008, (3 September 2008 through 5 September 2008, Zagreb
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (4 цит.), Ядро РИНЦ (eLIBRARY.RU)
  69. Linear temporal logic with until and next, logical consecutions [статья из журнала]
    2008, ANNALS OF PURE AND APPLIED LOGIC
    присутствует в Web of Science Core Collection (29 цит.), Scopus, РИНЦ (eLIBRARY.RU) (29 цит.), Ядро РИНЦ (eLIBRARY.RU)
  70. Logics with the universal modality and admissible consecutions [статья из журнала]
    2007, Journal of Applied Non-Classical Logics
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (11 цит.), Ядро РИНЦ (eLIBRARY.RU)
  71. 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
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  72. 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)
  73. Logic of discovery in uncertain situations-deciding algorithms [статья из журнала]
    2007, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (10 цит.), Ядро РИНЦ (eLIBRARY.RU)
  74. Until-since temporal logic based on parallel time with common past. Deciding algorithms [статья из журнала]
    2007, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (16 цит.), Ядро РИНЦ (eLIBRARY.RU)
  75. Linear temporal logic with until and before on integer numbers, deciding algorithms [статья из журнала]
    2006, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (12 цит.), Ядро РИНЦ (eLIBRARY.RU)
  76. A note on globally admissible inference rules for modal and superintuitionistic logics [статья из журнала]
    2005, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  77. Logical consecutions in discrete linear temporal logic [статья из журнала]
    2005, Journal of Symbolic Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (40 цит.), Ядро РИНЦ (eLIBRARY.RU)
  78. Logical consecutions in intransitive temporal linear logic of finite intervals [статья из журнала]
    2005, Journal of Logic and Computation
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (30 цит.), Ядро РИНЦ (eLIBRARY.RU)
  79. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
    2005, LOGIC JOURNAL OF THE IGPL
    присутствует в Web of Science Core Collection (4 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (3 цит.)
  80. Tabular Logics with no Finite Bases for Inference Rules [статья из журнала]
    2004, Interest Group in Pure and Applied Logics. Logic Journal
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  81. Клиническая ангиология [монография]
    Покровский Анатолий Владимирович, Абакумов Михаил Михайлович, Алиев М. М., Байков Б. В., Богатов Юрий Петрович, Борисов А. В., Бырихин Н. И., Винницкий Леонид Ильич, Воронцов В. В., Выренков Юрий Евгеньевич, Гавриленко Александр Васильевич, Горбенко Ю. Ф., Грязнов Олег Германович, Дан Василий Нуцович, Джибладзе Д. Н., Дудкин Б. П., Ефименко Н. А., Замский Кирилл Сергеевич, Затевахин Игорь Иванович, Затовчен А. М. и другие
    2004
    присутствует в РИНЦ (eLIBRARY.RU) (252 цит.)
  82. A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]
    2003, Bulletin of the Section of Logic
    присутствует в Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  83. Barwise's information frames and modal logics [статья из журнала]
    2003, Archive for Mathematical Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  84. Refined common knowledge logics or logics of common information [статья из журнала]
    2003, Archive for Mathematical Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (6 цит.), Ядро РИНЦ (eLIBRARY.RU)
  85. Информационные фреймы Барвайса и модальные логики [статья из журнала]
    2002, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  86. 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), Список ВАК
  87. Residual Finiteness for Admissible Inference Rules [статья из журнала]
    2001, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  88. Construction of an explicit basis for rules admissible in modal system S4 [статья из журнала]
    2001, MATHEMATICAL LOGIC QUARTERLY
    присутствует в Web of Science Core Collection (36 цит.), Scopus, РИНЦ (eLIBRARY.RU) (38 цит.), Ядро РИНЦ (eLIBRARY.RU)
  89. Independent bases for admissible rules in pretable logics [статья из журнала]
    2000, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  90. Faces of monotonicity and wisdom formulas problem [статья из журнала]
    2000, Bulletin of the Section of Logic
    присутствует в Scopus (2 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  91. On self-admissible quasicharacterizing inference rules [статья из журнала]
    Rybakov V. V., Terziler M., Gencer C.
    2000, Studia Logica
    присутствует в Web of Science Core Collection, Scopus (2 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  92. Unification and passive inference rules for modal logics [статья из журнала]
    Rybakov V. V., Terziler M., Gencer C.
    2000, Journal of Applied Non-Classical Logics
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  93. Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic [статья из журнала]
    2000, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  94. 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
    присутствует в Web of Science Core Collection (15 цит.), Scopus (14 цит.), РИНЦ (eLIBRARY.RU) (14 цит.), Ядро РИНЦ (eLIBRARY.RU)
  95. An explicit basis for rules admissible in modal system s4 [статья из журнала]
    1999, Bulletin of the Section of Logic
    присутствует в Scopus (2 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  96. An essay on unification and inference rules for modal logics [статья из журнала]
    Rybakov V. V., Terziler M., Gencer C.
    1999, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (16 цит.), Ядро РИНЦ (eLIBRARY.RU)
  97. 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
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  98. Independent bases for rules admissible in pretabular logics [статья из журнала]
    Rybakov V, Kiyatkin V, Terziler M
    1999, Interest Group in Pure and Applied Logics. Logic Journal
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  99. 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
    присутствует в Web of Science Core Collection (19 цит.), Scopus (20 цит.), РИНЦ (eLIBRARY.RU) (20 цит.), Ядро РИНЦ (eLIBRARY.RU)
  100. The structure of rigid frames of restricted depth [статья из журнала]
    Rybakov V. V., Oner T.
    1998, Bulletin of the Section of Logic
    присутствует в Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  101. Description of self-admissible quasi-characterizing inference rules [статья из журнала]
    Rybakov V. V., Terziler M., Gencer C.
    1998, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  102. Нестандартные логические системы и правила вывода [отчёт о НИР]
    1998
    присутствует в РИНЦ (eLIBRARY.RU)
  103. Axiomatizing the next-interior fragment of dynamic topological logic [статья из журнала]
    Kremer P., Mints G., Rybakov V.
    1997, Bulletin of Symbolic Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  104. Preface and acknowledgments [статья из журнала (материалы конференций, опубликованные в журналах)]
    1997
    присутствует в Scopus, РИНЦ (eLIBRARY.RU)
  105. Quasi-characteristic inference rules for modal logics [статья из журнала]
    1997, Lecture Notes in Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  106. Нестандартные логические системы и правила вывода [отчёт о НИР]
    1996
    присутствует в РИНЦ (eLIBRARY.RU)
  107. Elementary theories of free algebras for varieties corresponding to non-classical logics [доклад, тезисы доклада, статья из сборника материалов конференций]
    1996, ALGEBRA
    присутствует в Web of Science Core Collection
  108. HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS [статья из журнала]
    1995, JOURNAL OF SYMBOLIC LOGIC
    присутствует в Web of Science Core Collection (20 цит.), Scopus, РИНЦ (eLIBRARY.RU) (20 цит.), Ядро РИНЦ (eLIBRARY.RU)
  109. Modal logics preserving admissible for S4 inference rules [доклад, тезисы доклада, статья из сборника материалов конференций]
    1995, COMPUTER SCIENCE LOGIC
    присутствует в Web of Science Core Collection, Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (3 цит.)
  110. Preserving of admissible inference rules in modal logic [статья из журнала]
    1994, Lecture Notes in Computer Science (см. в книгах)
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  111. Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property [статья из журнала]
    1994, Studia Logica
    присутствует в Web of Science Core Collection, Scopus (14 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  112. INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS [статья из журнала]
    1993, MATHEMATICAL LOGIC QUARTERLY
    присутствует в Web of Science Core Collection (6 цит.), Scopus, РИНЦ (eLIBRARY.RU) (5 цит.), Ядро РИНЦ (eLIBRARY.RU)
  113. A modal analog for Glivenko’s theorem and its applications [статья из журнала]
    1992, Notre Dame Journal of Formal Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (4 цит.), Ядро РИНЦ (eLIBRARY.RU)
  114. RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC [статья из журнала]
    1992, JOURNAL OF SYMBOLIC LOGIC
    присутствует в Web of Science Core Collection (53 цит.), РИНЦ (eLIBRARY.RU) (49 цит.), Ядро РИНЦ (eLIBRARY.RU)
  115. SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT [статья из журнала]
    1991, MATHEMATICAL NOTES
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  116. Logical equations and admissible rules of inference with parameters in modal provability logics [статья из журнала]
    1990, Studia Logica
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  117. 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 (28 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  118. 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
  119. 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 (1 цит.)
  120. Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras [статья из журнала]
    1989, Studies in Logic and the Foundations of Mathematics
    присутствует в РИНЦ (eLIBRARY.RU) (8 цит.)
  121. DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC [статья из журнала]
    1986, MATHEMATICS OF THE USSR-IZVESTIYA
    присутствует в Web of Science Core Collection
  122. EQUATIONS IN FREE CLOSURE ALGEBRA AND THE SUBSTITUTION PROBLEM [статья из журнала]
    1986, DOKLADY AKADEMII NAUK SSSR
    присутствует в Web of Science Core Collection
  123. The bases for admissible rules of logics S4 and int [статья из журнала]
    1985, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (33 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  124. BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC [статья из журнала]
    1985, MATHEMATICS OF THE USSR-SBORNIK
    присутствует в Web of Science Core Collection
  125. CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC [статья из журнала]
    1985, DOKLADY AKADEMII NAUK SSSR
    присутствует в Web of Science Core Collection
  126. ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS [статья из журнала]
    1985, MATHEMATICAL NOTES
    присутствует в Web of Science Core Collection (2 цит.), Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  127. A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic [статья из журнала]
    1984, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (74 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  128. COMPLETENESS OF MODAL-LOGICS WITH PREFINITE WIDTH [статья из журнала]
    1982, MATHEMATICAL NOTES
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.