(1)
Fang, L.; Wang, K.; Wang, Z.; Wen, X. Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. AAAI 2019, 33, 2817-2826.