Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.

Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Browse the full AAAI paper archive.