Springer Philosophy, 07 Jun 2019 Journal of Philosophical Logic Intensional Protocols for Dynamic Epistemic Logic http://ow.ly/uT0r30oTPiH