Ryo Murai

According to our database, Ryo Murai authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Intuitionistic Public Announcement Logic with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Stud Logica, June, 2024

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