TY - JOUR AU - V. V. Rybakov TI - Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы JO - Algebra i logika PY - 2022 SP - 111 EP - 118 VL - 61 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2022_61_1_a6/ LA - ru ID - AL_2022_61_1_a6 ER -