Sign in
Ryo Murai
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Epistemic Logic
Multi Agent
Cooperative
Distributed Systems
Top Venues
Computación y Sistemas
FoIKS
LORI
</>
Publications
</>
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)