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

Informatica


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

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