Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui. A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$. In Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler, editors, Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings. Volume 432 of IFIP Advances in Information and Communication Technology, pages 152-160, Springer, 2014. [doi]
@inproceedings{DengSCS14,
title = {A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$},
author = {Shaobo Deng and Meiying Sun and Cungen Cao and Yuefei Sui},
year = {2014},
doi = {10.1007/978-3-662-44980-6_17},
url = {http://dx.doi.org/10.1007/978-3-662-44980-6_17},
researchr = {https://researchr.org/publication/DengSCS14},
cites = {0},
citedby = {0},
pages = {152-160},
booktitle = {Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings},
editor = {Zhongzhi Shi and Zhaohui Wu and David B. Leake and Uli Sattler},
volume = {432},
series = {IFIP Advances in Information and Communication Technology},
publisher = {Springer},
isbn = {978-3-662-44979-0},
}