A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition.

Andreas Herzig, Frdric Maris, Elise Perrotin

Browse the full KR paper archive.