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

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

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


57. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  30–34