Youan Su, Ryo Murai, Katsuhiko Sano. On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. In Sujata Ghosh, Thomas Icard, editors, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Volume 13039 of Lecture Notes in Computer Science, pages 216-231, Springer, 2021. [doi]