Summary: This dialogue was made in Beijing, August 2007. Johan reflected the developement of his own career to shed some lights on young Chinese logicians. He also reviewed the historical development of modal logic and the new trends. If you are thinking about the value of logics, either theoretical or practical, you could also find [...]

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. I then [...]