TY  - JOUR
AU  - V. V. Rybakov
TI  - Branching time agents' logic, satisfiability problem by rules in reduced form
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2019
SP  - 1158
EP  - 1170
VL  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2019_16_a19/
LA  - en
ID  - SEMR_2019_16_a19
ER  -