1. Institute for Logic , Language and Computation, University of Amsterdam, Amsterdam, The Netherlands, Department of Philosophy, Stanford University, Stanford, California, USA and UvA-Tsinghua Joint Research Center for Logic, Tsinghua University, Beijing, China