Simpler completeness proofs for modal logics with intersection

Yì N. Wáng, Thomas Ågotnes

There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledg…