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

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

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


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