@book{4918,
	author = {Ditmarsch, Hans van},
	title = {Dynamic Epistemic Logic /},
	publisher = {Springer,},
	year = {c2007.},
	address = {Netherlands :}
}