RUS  ENG
Полная версия
ПЕРСОНАЛИИ

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

Публикации в базе данных 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. Допустимость и унификация в модальных логиках, близких к $S4.2$

    Сиб. матем. журн., 65:1 (2024),  198–206
  5. Многоагентные временные логики, информация, унифицируемость и проективность

    Алгебра и логика, 62:3 (2023),  424–431
  6. Formulas expressing totally nonstable truth values of formulas

    Известия Иркутского государственного университета. Серия Математика, 44 (2023),  108–115
  7. Satisfiability problem in interval FP-logic

    Известия Иркутского государственного университета. Серия Математика, 44 (2023),  98–107
  8. Динамические временные операции в мультиагентных логиках

    Алгебра и логика, 61:5 (2022),  600–618
  9. Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы

    Алгебра и логика, 61:1 (2022),  111–118
  10. Multi-agents' temporal logic using operations of static agents' knowledge

    Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  114–124
  11. Многоагентные временные логики, проблемы унификации и допустимости

    Сиб. матем. журн., 63:4 (2022),  924–934
  12. Satisfiability in Boolean logic (SAT problem) is polynomial

    Журн. СФУ. Сер. Матем. и физ., 14:5 (2021),  667–671
  13. A short essay towards if $P$ not equal $NP$

    Журн. СФУ. Сер. Матем. и физ., 14:2 (2021),  258–260
  14. A note on computation MTs with time in instructions or with tapes of fixed length

    Журн. СФУ. Сер. Матем. и физ., 14:1 (2021),  69–73
  15. Логики ветвящегося времени с мультиагентными отношениями временной достижимости

    Сиб. матем. журн., 62:3 (2021),  619–628
  16. Мультиагентные временные нетранзитивные линейные логики, проблема допустимости

    Алгебра и логика, 59:1 (2020),  123–141
  17. Temporal logic with overlap temporal relations generated by time states themselves

    Сиб. электрон. матем. изв., 17 (2020),  923–932
  18. Branching time agents' logic, satisfiability problem by rules in reduced form

    Сиб. электрон. матем. изв., 16 (2019),  1158–1170
  19. Many-valued multi-modal logics, satisfiability problem

    Сиб. электрон. матем. изв., 15 (2018),  829–838
  20. Temporal multi-valued logic with lost worlds in the past

    Сиб. электрон. матем. изв., 15 (2018),  436–449
  21. Временные мультиагентные логики с мультиозначиваниями

    Сиб. матем. журн., 59:4 (2018),  897–911
  22. Интранзитивные временные многоагентные логики, информация и знание, разрешимость

    Сиб. матем. журн., 58:5 (2017),  1128–1143
  23. Projective formulas and unification in linear discrete temporal multi-agent logics

    Сиб. электрон. матем. изв., 13 (2016),  923–929
  24. Non-unifiability in linear temporal logic of knowledge with multi-agent relations

    Сиб. электрон. матем. изв., 13 (2016),  656–663
  25. Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени

    Сиб. матем. журн., 56:3 (2015),  573–593
  26. Unification Problem in Nelson's Logic $\mathbf{N4}$

    Сиб. электрон. матем. изв., 11 (2014),  434–443
  27. Computing Truth of Logical Statements in Multi-Agents' Environment

    Журн. СФУ. Сер. Матем. и физ., 6:3 (2013),  315–328
  28. A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents

    Журн. СФУ. Сер. Матем. и физ., 1:4 (2008),  399–409
  29. Информационные фреймы Барвайса и модальные логики

    Алгебра и логика, 41:5 (2002),  585–609
  30. Сохранение допустимости правил вывода в логиках, родственных $S4.2$

    Сиб. матем. журн., 43:2 (2002),  446–453
  31. О финитной аппроксимируемости для допустимых правил вывода

    Алгебра и логика, 40:5 (2001),  593–618
  32. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики

    Алгебра и логика, 39:6 (2000),  720–740
  33. Независимые базисы для правил, допустимых в предтабличных логиках

    Алгебра и логика, 39:2 (2000),  206–226
  34. Семантические критерии допустимости правил вывода в логиках $\mathbf{S4}$ и $\mathbf{Int}$

    Матем. заметки, 50:1 (1991),  84–91
  35. Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике

    Сиб. матем. журн., 32:2 (1991),  140–153
  36. Допустимость правил вывода с параметрами в интуиционистской логике и интуиционистские модели Крипке

    Докл. АН СССР, 312:1 (1990),  42–45
  37. Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний

    Изв. АН СССР. Сер. матем., 54:6 (1990),  1331–1341
  38. Допустимость правил вывода и логические уравнения в модальных логиках, аксиоматизирующих доказуемость

    Изв. АН СССР. Сер. матем., 54:2 (1990),  357–377
  39. О допустимости правил вывода в модальной системе $G$

    Тр. Ин-та математики, 12 (1989),  120–138
  40. Уравнения в свободной топобулевой алгебре

    Алгебра и логика, 25:2 (1986),  172–204
  41. Уравнения в свободной топобулевой алгебре и проблема подстановки

    Докл. АН СССР, 287:3 (1986),  554–557
  42. Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики

    Изв. АН СССР. Сер. матем., 50:3 (1986),  598–616
  43. Базисы допустимых правил логик ${\rm S}4$ и ${\rm Int}$

    Алгебра и логика, 24:1 (1985),  87–107
  44. Критерий допустимости правил вывода в модальной и интуиционистской логике

    Докл. АН СССР, 284:3 (1985),  538–541
  45. Элементарные теории свободных топобулевых и псевдобулевых алгебр

    Матем. заметки, 37:6 (1985),  797–802
  46. Базисы допустимых правил модальной системы Grz и интуиционистской логики

    Матем. сб., 128(170):3(11) (1985),  321–338
  47. Критерий допустимости правил в модальной системе ${\rm S}4$ и интуиционистской логике

    Алгебра и логика, 23:5 (1984),  546–572
  48. Разрешимость проблемы допустимости в конечнослойных модальных логиках

    Алгебра и логика, 23:1 (1984),  100–116
  49. Допустимые правила для логик, включающих S4.3

    Сиб. матем. журн., 25:5 (1984),  141–145
  50. Базисы квазитождеств конечных модальных алгебр

    Алгебра и логика, 21:2 (1982),  219–227
  51. Полнота модальных логик предконечной ширины

    Матем. заметки, 32:2 (1982),  223–228
  52. Допустимые правила предтабличных модальных логик

    Алгебра и логика, 20:4 (1981),  440–464
  53. Модальные логики с LM-аксиомами

    Алгебра и логика, 17:4 (1978),  455–467
  54. Разрешимое некомпактное расширение логики ${\rm S}4$

    Алгебра и логика, 17:2 (1978),  210–219
  55. Некомпактные расширения логики $S4$

    Алгебра и логика, 16:4 (1977),  472–490
  56. Наследственно конечно-аксиоматизируемые расширения логики $S4$

    Алгебра и логика, 15:2 (1976),  185–204
  57. О решетке нормальных модальных логик

    Алгебра и логика, 13:2 (1974),  188–216

  58. Лариса Львовна Максимова (некролог)

    УМН, 80:3(483) (2025),  179–182
  59. Сергей Ильич Мардаев (6.04.1962–10.04.2013)

    Сиб. электрон. матем. изв., 10 (2013),  30–34

© МИАН, 2025