Ryo Murai

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Epistemic Logic

Interpolation Methods

Knowledge Acquisition

Top Venues

Computación y Sistemas

Publications

Ryo Murai, Katsuhiko Sano
Intuitionistic Public Announcement Logic with Distributed Knowledge. Stud Logica 112 (3) (2024)
Ryo Murai, Katsuhiko Sano
Intuitionistic Epistemic Logic with Distributed Knowledge. Computación y Sistemas 26 (2) (2022)
Youan Su, Ryo Murai, Katsuhiko Sano
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. LORI (2021)
Ryo Murai, Katsuhiko Sano
Craig Interpolation of Epistemic Logics with Distributed Knowledge. FoIKS (2020)