Ryo Murai

Orcid: 0000-0001-7180-5744

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Intuitionistic Public Announcement Logic with Distributed Knowledge.

[DOI]

Stud Logica, June, 2024

2022

Intuitionistic Epistemic Logic with Distributed Knowledge.

[DOI]

Computación y Sistemas, 2022

2021

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

[DOI]

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

2020

Craig Interpolation of Epistemic Logics with Distributed Knowledge.

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2020