Bo Chen, Kang Zhao, Bing Zhang, Cheng Wu, Linlin Ma, Changhui Ma, Yuefei Sui. The B5-Modalized Propositional Logic. In 15th International Conference on Semantics, Knowledge and Grids, SKG 2019, Guangzhou, China, September 17-18, 2019. pages 161-166, IEEE, 2019. [doi]
Abstract is missing.