Rchr
J-GLOBAL ID：202101012295760976
Update date: Oct. 17, 2025
Murai Ryo
ムライ リョウ | Murai Ryo
Contact this researcher
You can send email directly to the researcher.
Papers (5)：
Ryo Murai, Katsuhiko Sano. Intuitionistic Public Announcement Logic with Distributed Knowledge. Studia Logica. 2023
Ryo Murai, Katsuhiko Sano. Intuitionistic Epistemic Logic with Distributed Knowledge. Computación y Sistemas. 2022. 26. 2. 823-834
Ryo Murai. Proof-Theoretic Study of Distributed Knowledge. 2022
Youan Su, Ryo Murai, Katsuhiko Sano. On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. Logic, Rationality, and Interaction - 8th International Workshop(LORI). 2021. 216-231
Ryo Murai, Katsuhiko Sano. Craig Interpolation of Epistemic Logics with Distributed Knowledge. Foundations of Information and Knowledge Systems - 11th International Symposium(FoIKS). 2020. 211-221
Professional career (1)：
博士(文学) (北海道大学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
