Master of Logic Thesis: Exploring the Update Universe

This is my master thesis completed in the ILLC (Insitute for Logic Language and Computation) in October 2004. Supervisors: Professor Johan van Benthem, and Professor Jan van Eijck Abstract: In this thesis, I showed how BMS framework (the state-of-the-art Dynamic Epistemic Logic) models the cases of message passing, and proposed a logical axiomatisation called Logic CC. [...]