Meiying Sun, Shaobo Deng, Yuefei Sui. The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic. 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 141-151, Springer, 2014. [doi]