Ryo Murai

According to our database, Ryo Murai authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Intuitionistic Epistemic Logic with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Computación y Sistemas, 2022

2021

On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.

Youan Su, Ryo Murai, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Craig Interpolation of Epistemic Logics with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Proceedings of the Foundations of Information and Knowledge Systems, 2020