![](/img/cover-not-exists.png)
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
Fang, Liangda, Wang, Kewen, Wang, Zhe, Wen, XimingVolume:
33
Journal:
Proceedings of the AAAI Conference on Artificial Intelligence
DOI:
10.1609/aaai.v33i01.33012817
Date:
July, 2019
File:
PDF, 386 KB
2019