First-Order Intuitionistic Epistemic Logic. - Youan Su; Katsuhiko Sano (LORI, 2019)

On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. - Youan Su; Ryo Murai; Katsuhiko Sano (LORI, 2021)

A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. - Youan Su; Katsuhiko Sano (Stud Logica, 2023)