Agreement theorems in dynamic-epistemic logic.

Cdric Dgremont, Olivier Roy

Browse the full TARK paper archive.