TY  - JOUR
AU  - V. V. Rybakov
TI  - Multi-agent temporal logics, information, unification, and projectivity
JO  - Algebra i logika
PY  - 2023
SP  - 424
EP  - 431
VL  - 62
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2023_62_3_a6/
LA  - ru
ID  - AL_2023_62_3_a6
ER  -