TY  - JOUR
AU  - M. A. Moor
AU  - V. V. Rybakov
TI  - Many-valued multi-modal logics, satisfiability problem
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 829
EP  - 838
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a23/
LA  - en
ID  - SEMR_2018_15_a23
ER  -