Рыбаков Владимир Владимирович

Публикации в базе данных Math-Net.Ru

1. Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability
   
   Известия Иркутского государственного университета. Серия Математика, 51 (2025),  141–150
2. The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
   
   Известия Иркутского государственного университета. Серия Математика, 49 (2024),  124–134
3. Interval multi-agent logic with reliability operator
   
   Журн. СФУ. Сер. Матем. и физ., 17:5 (2024),  679–683
4. Мульти-агентные логики с взаимодействием, унифицируемость и проективность
   
   Сиб. электрон. матем. изв., 21:2 (2024),  1370–1384
5. Допустимость и унификация в модальных логиках, близких к $S4.2$
   
   Сиб. матем. журн., 65:1 (2024),  198–206
6. Многоагентные временные логики, информация, унифицируемость и проективность
   
   Алгебра и логика, 62:3 (2023),  424–431
7. Formulas expressing totally nonstable truth values of formulas
   
   Известия Иркутского государственного университета. Серия Математика, 44 (2023),  108–115
8. Satisfiability problem in interval FP-logic
   
   Известия Иркутского государственного университета. Серия Математика, 44 (2023),  98–107
9. Динамические временные операции в мультиагентных логиках
   
   Алгебра и логика, 61:5 (2022),  600–618
10. Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы
    
    Алгебра и логика, 61:1 (2022),  111–118
11. Multi-agents' temporal logic using operations of static agents' knowledge
    
    Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  114–124
12. Многоагентные временные логики, проблемы унификации и допустимости
    
    Сиб. матем. журн., 63:4 (2022),  924–934
13. Satisfiability in Boolean logic (SAT problem) is polynomial
    
    Журн. СФУ. Сер. Матем. и физ., 14:5 (2021),  667–671
14. A short essay towards if $P$ not equal $NP$
    
    Журн. СФУ. Сер. Матем. и физ., 14:2 (2021),  258–260
15. A note on computation MTs with time in instructions or with tapes of fixed length
    
    Журн. СФУ. Сер. Матем. и физ., 14:1 (2021),  69–73
16. Логики ветвящегося времени с мультиагентными отношениями временной достижимости
    
    Сиб. матем. журн., 62:3 (2021),  619–628
17. Мультиагентные временные нетранзитивные линейные логики, проблема допустимости
    
    Алгебра и логика, 59:1 (2020),  123–141
18. Temporal logic with overlap temporal relations generated by time states themselves
    
    Сиб. электрон. матем. изв., 17 (2020),  923–932
19. Branching time agents' logic, satisfiability problem by rules in reduced form
    
    Сиб. электрон. матем. изв., 16 (2019),  1158–1170
20. Many-valued multi-modal logics, satisfiability problem
    
    Сиб. электрон. матем. изв., 15 (2018),  829–838
21. Temporal multi-valued logic with lost worlds in the past
    
    Сиб. электрон. матем. изв., 15 (2018),  436–449
22. Временные мультиагентные логики с мультиозначиваниями
    
    Сиб. матем. журн., 59:4 (2018),  897–911
23. Интранзитивные временные многоагентные логики, информация и знание, разрешимость
    
    Сиб. матем. журн., 58:5 (2017),  1128–1143
24. Projective formulas and unification in linear discrete temporal multi-agent logics
    
    Сиб. электрон. матем. изв., 13 (2016),  923–929
25. Non-unifiability in linear temporal logic of knowledge with multi-agent relations
    
    Сиб. электрон. матем. изв., 13 (2016),  656–663
26. Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
    
    Сиб. матем. журн., 56:3 (2015),  573–593
27. Unification Problem in Nelson's Logic $\mathbf{N4}$
    
    Сиб. электрон. матем. изв., 11 (2014),  434–443
28. Computing Truth of Logical Statements in Multi-Agents' Environment
    
    Журн. СФУ. Сер. Матем. и физ., 6:3 (2013),  315–328
29. A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
    
    Журн. СФУ. Сер. Матем. и физ., 1:4 (2008),  399–409
30. Информационные фреймы Барвайса и модальные логики
    
    Алгебра и логика, 41:5 (2002),  585–609
31. Сохранение допустимости правил вывода в логиках, родственных $S4.2$
    
    Сиб. матем. журн., 43:2 (2002),  446–453
32. О финитной аппроксимируемости для допустимых правил вывода
    
    Алгебра и логика, 40:5 (2001),  593–618
33. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики
    
    Алгебра и логика, 39:6 (2000),  720–740
34. Независимые базисы для правил, допустимых в предтабличных логиках
    
    Алгебра и логика, 39:2 (2000),  206–226
35. Семантические критерии допустимости правил вывода в логиках $\mathbf{S4}$ и $\mathbf{Int}$
    
    Матем. заметки, 50:1 (1991),  84–91
36. Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике
    
    Сиб. матем. журн., 32:2 (1991),  140–153
37. Допустимость правил вывода с параметрами в интуиционистской логике и интуиционистские модели Крипке
    
    Докл. АН СССР, 312:1 (1990),  42–45
38. Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний
    
    Изв. АН СССР. Сер. матем., 54:6 (1990),  1331–1341
39. Допустимость правил вывода и логические уравнения в модальных логиках, аксиоматизирующих доказуемость
    
    Изв. АН СССР. Сер. матем., 54:2 (1990),  357–377
40. О допустимости правил вывода в модальной системе $G$
    
    Тр. Ин-та математики, 12 (1989),  120–138
41. Уравнения в свободной топобулевой алгебре
    
    Алгебра и логика, 25:2 (1986),  172–204
42. Уравнения в свободной топобулевой алгебре и проблема подстановки
    
    Докл. АН СССР, 287:3 (1986),  554–557
43. Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики
    
    Изв. АН СССР. Сер. матем., 50:3 (1986),  598–616
44. Базисы допустимых правил логик ${\rm S}4$ и ${\rm Int}$
    
    Алгебра и логика, 24:1 (1985),  87–107
45. Критерий допустимости правил вывода в модальной и интуиционистской логике
    
    Докл. АН СССР, 284:3 (1985),  538–541
46. Элементарные теории свободных топобулевых и псевдобулевых алгебр
    
    Матем. заметки, 37:6 (1985),  797–802
47. Базисы допустимых правил модальной системы Grz и интуиционистской логики
    
    Матем. сб., 128(170):3(11) (1985),  321–338
48. Критерий допустимости правил в модальной системе ${\rm S}4$ и интуиционистской логике
    
    Алгебра и логика, 23:5 (1984),  546–572
49. Разрешимость проблемы допустимости в конечнослойных модальных логиках
    
    Алгебра и логика, 23:1 (1984),  100–116
50. Допустимые правила для логик, включающих S4.3
    
    Сиб. матем. журн., 25:5 (1984),  141–145
51. Базисы квазитождеств конечных модальных алгебр
    
    Алгебра и логика, 21:2 (1982),  219–227
52. Полнота модальных логик предконечной ширины
    
    Матем. заметки, 32:2 (1982),  223–228
53. Допустимые правила предтабличных модальных логик
    
    Алгебра и логика, 20:4 (1981),  440–464
54. Модальные логики с LM-аксиомами
    
    Алгебра и логика, 17:4 (1978),  455–467
55. Разрешимое некомпактное расширение логики ${\rm S}4$
    
    Алгебра и логика, 17:2 (1978),  210–219
56. Некомпактные расширения логики $S4$
    
    Алгебра и логика, 16:4 (1977),  472–490
57. Наследственно конечно-аксиоматизируемые расширения логики $S4$
    
    Алгебра и логика, 15:2 (1976),  185–204
58. О решетке нормальных модальных логик
    
    Алгебра и логика, 13:2 (1974),  188–216


59. Лариса Львовна Максимова (некролог)
    
    УМН, 80:3(483) (2025),  179–182
60. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  30–34