POSTPONED: Protocols in Dynamic Epistemic Logic

Title: Protocols in Dynamic Epistemic Logic
Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a protocol comes in: a protocol stipulates what epistemic actions are allowed to be performed in a model. The aim of my presentation is to introduce the audience to the account of protocols in [1, 2].

References:

[1] H. van Ditmarsch, S. Ghosh, R. Verbrugge, Y. Wang, Hidden protocols: Modifying our expectations in an evolving world, Artificial Intelligence 208 (2014), 18-40.
[2] Y. Wang, Epistemic Modelling and Protocol Dynamics, PhD thesis, University of Amsterdam, 2010.