智能互动及其逻辑模型研究(09YJC72040001), 2009-2012, 教育部人文社会科学研究项目基金资助。

Logic in Action , 2009-2011. This is an educational project which aims at the development of 'open' web-oriented courses on logic and a wide range of applications in fields such as mathematics, philosophy, computer science, linguistics and cognitive science.

Ways of Worldmaking, 2009-2011. Scientific cooperation program between China and the Netherlands, funded by the Royal Netherlands Academy of Arts and Sciences.

Logical Studies on the Chinese Medical Classic Shanghan Lun, 2008-2010, funded by National Foundation of Natural Science in China.

Modelling Diversity of Agent in Modal Logics, 2006-2010, funded by Chinese Academy of Social Sciences.

Translation Project: A Door to Logic: Selected Works by Johan van Benthem.

Volume I: "Logic, Information and Interaction", Science Press, 2008, Beijing.
Volume II: "Logic, Language and Cognition", Science Press, Beijing, Science Press, 2009.
Volume III: "Modal Correspondence theory" Science Press, Beijing, to appear in 2010.
Volume IV: "Logic, Epistemology, and Methodology", Science Press, Beijing, to appear in 2010.

Logic for Knowledge, Belief and Actions(04CZX001), 2004-2009, funded by National Foundation of Philosophy and Social Sciences in China.

Logic, Games and Social Behavior, 2005-2009, funded by Universiteit van Amsterdam and ILLC.