Message passing in a dynamic epistemic logic setting.

Floor Sietsma, Jan van Eijck

Browse the full TARK paper archive.