1. Home
  2. Issues
  3. Volume 19, Issue 4 (2008)
  4. Termination of Derivations in a Fragment ...

Informatica


Cited by 2
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Analytic Cut in Epistemic Logics with Distributed Knowledge
Ryo Murai, Sizhuo Liu, Katsuhiko Sano
https://doi.org/10.4204/EPTCS.447.36
Journal  Electronic Proceedings in Theoretical Computer Science Volume 447 (2026), p. 636
On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
Youan Su, Ryo Murai, Katsuhiko Sano
https://doi.org/10.1007/978-3-030-88708-7_18
Book  Lecture Notes in Computer Science (Logic, Rationality, and Interaction) Volume 13039 (2021), p. 216


Share


RSS