TY  - JOUR
AU  - K. V. Grekovich
AU  - V. V. Rybakov
AU  - V. V. Rimatskiy
TI  - Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2025
SP  - 141
EP  - 150
VL  - 51
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2025_51_a9/
LA  - en
ID  - IIGUM_2025_51_a9
ER  -