Author: Tsinghua Logic Conference (2013 Beijing)