Sum and Product in Dynamic Epistemic Logic.

Hans P. van Ditmarsch Ji Ruan Rineke Verbrugge

Published in: J. Log. Comput. (2008)

Keyphrases

dynamic epistemic logic
epistemic logic
life cycle