A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic.

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

Browse the full LFCS paper archive.