Analytic Cut in Epistemic Logics with Distributed Knowledge

Ryo Murai, Sizhuo Liu, Katsuhiko Sano

Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility…