Joint work with Wiebe van der Hoek and Michael Wooldridge. Published in the Proceedings of Workshop on Logic, Rationality and Interaction (LORI07), Beijing, August 2007. PDF Download: Strategy Logics and the Game Description Language. Any comments are welcome! ABSTRACT: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is [...]

This is a joint work with Professor Jan van Eijck(CWI, Netherlands), and Tomasz Sadzik(Stanford, USA). It was presented in Games, action and social software Workshop , 30 Oct – 3 Nov 2006 @ Lorentz Center, Leiden, the Netherlands. The final version has been published in the Journal of Synthese on 09 March 2012. Abstract: The [...]

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