1
Published 2015
Springer Berlin Heidelberg
Table of Contents: ... Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game...