I was fortunate to attend Prof. Johan van Benthem’s lecture on logic dynamics in Beida. He was one of my master thesis supervisor back in 2004, and we last met was in Liverpool in March 2009 on occasion of celebrating Wiebe’s 50th Birthday. I am a big fan of him as he has set a [...]

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