Сообщения

Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы

В. В. Рыбаков<sup>abc

a</sup> Ин-т матем. фундамент. информ., Сиб. федерал. ун-т, г. Красноярск, РОССИЯ
^b Ин-т сист. информ. им. А. П. Ершова СО РАН, г. Новосибирск, РОССИЯ
^c Нац. исслед. ун-т "Высш. шк. экономики", г. Москва, РОССИЯ

УДК: 510.64:510.65:510.66

Поступило: 27.09.2021
Окончательный вариант: 07.06.2022

DOI: 10.33048/alglog.2022.61.107