Research Interest

Epistemic Logic, Logic and Games, Formal Semantics, Logic and Social Choice


  • 1995-1999: National University of Defence Technology, B.S. applied mathematics
  • 1999-2002: National University of Defence Technology, M.A. philosophy of science
  • 2004-2007: Sun Yat-sen University, Ph.D. logic


  • Logic aggregation (with Hu Liu), 2013, To appear in Proceedings of the 4th Worshop on Logic, Rationality, and Interaction (LORI-4).
  • An alternative logic for knowability (with Hu Liu and Fan Huang), 2011, In H. van Ditmarsch, J. Lang and S. Ju (eds.), Logic, Rationality and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, pp. 342-355. Springer.
  • Game-theoretical semantics for many-valued logics (with Shier Ju and Xihua Dai), 2007, In J. van Benthem, S. Ju, and F. Veltman (eds.) A Meeting of Minds: Proceedings of the Workshop on Logic, Rationality and Interaction. pp. 159-171. London: College Publications.


  • Philosophy of Logic, 2013 spring
  • Non-Classical Logic, 2013 spring
  • Logic and Social Choice, 2012 fall
  • Modal Logic, 2012 spring, fall
  • Non-Classical Logic, 2011 fall
  • Computational Semantics, 2011 fall
  • Logic and Natural Language, 2010 spring