Craig Interpolation of Epistemic Logics with Distributed Knowledge

von Murai, Ryo
Veröffentlicht in FoIKS (11. : 2020 : Dortmund) Foundations of information and knowledge systems (2020)

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

von Su, Youan
Veröffentlicht in LORI (8. : 2021 : Online) Logic, Rationality, and Interaction (2021)