Communications

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

V. V. Rybakov<sup>abc

a</sup> Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk
^b A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
^c National Research University "Higher School of Economics", Moscow

UDC: 510.64:510.65:510.66

Received: 27.09.2021
Revised: 07.06.2022

DOI: 10.33048/alglog.2022.61.107

 English version: Algebra and Logic, 2022, 61:1, 79–83