Tsinghua Logic Center

Tsinghua has a long tradition in logic, with Jin Yuelin as the founding father of the philosophy department and its logic group. His students Shen Youding, Wang Xianjun and Wang Hao made great contributions domestically and internationally in philosophy, mathematical and computational logic. Currently, with Johan van Benthem, I am a co-director of a Research Center for Logic which aims to continue and expand this tradition in a setting of international collaboration. For more about our activities, please visit our website, and in particular, the annual reports which can be downloaded there.

Tsinghua University - University of Amsterdam Joint Research Center for Logic

Logic in Beijing and China

• Since 2020, I am President of the Beijing Logic Association, to promote logic research and education in the Beijing area.
• Since 2020, I am a Vice-President of Chinese Society of Logic, coordinating with several research branches.

International Events Organized

• Workshop on Logic, Rationality and Intelligent Interaction (LORI). Started August 2007. I am the Secretary-General on the LORI Standing Committee.

• Asian Workshop on Philosophical Logic (AWPL). Started in 2012. I am one of the primary convenors.

• Workshop on the History of Logic in China (HOLIC). Started in 2010. I am one of the primary convenors.

Book Series

• General Editor (with Hiroakira Ono and Kamal Lodaya), Logic in Asia: Studia Logica Library, Springer

• General Editor, A Door to Logic: Selected Works by Johan van Benthem, 4 volumes, in Chinese. Science Press, Beijing, 2008-2012

• General Editor, Logic, Language and Intelligence: New Tsinghua Logic (in Chinese)

• Lu Wang, Views of Logic, Tsinghua University Press, 2021
• Martin Stokhof, Approaching Meaning: Formal Semantics and Wittgenstein, Tsinghua University Press, 2022

Memberships, Chairs

• 2023, Program Chair, the Pacific Rim International Conferences on Artificial Intelligence (PRICAI-2023)
• 2021, General Chair, the Pacific Rim International Conferences on Artificial Intelligence (PRICAI-2021)
• 2022, Member, The ASL Nominating Committee
• 2016-2022, Member, Standing Committee on Logic in East Asia, the Association for Symbolic Logic
• 2012-2018, Member, Education Committee, the Association for Symbolic Logic
• 2020, Program Chair, the15th International Conference on Deontic Logic and Normative Systems (DEON), Munich, Germany
• 2014-2018, Member, Steering Committee, the Society of Deontic Logic and Normative Systems
• 2021-, Member, Steering Committee, DaLÍ workshops on Dynamic Logic
• 2020-, Member, Steering committee, Logical Aspects of Multi-Agent Systems (LAMAS)
• 2018, Program Chair, The 4th Asian Workshop on Philosophical Logic, Beijing, China
• 2016-, International Board Member, The Society for the History of the Humanities
• 2016-, International Advisory Board, The Vossius Center for History of Humanities and Sciences, University of Amsterdam

Editorial Roles

• 2022-, Editorial Board Member, Logics (open access journal)
• 2021-, Editor-in-Chief, Small Logic Books, book series, CSLI Publications, Stanford
• 2021-, Editorial Board Member, Asian Journal of Philosophy
• 2018-, Consulting Editor, Theoria (the international Swedish philosophy journal, founded in 1935, a major forum for philosophical research and debate)
• 2015-2020, Editor-in-Chief, Short Textbooks in Logic, book series, Springer
• 2014-, Associate Editor, History of Humanities (a journal devoted to the historical and comparative study of humanities)
• 2013-, Editor-in-Chief, Logic in Asia: Studia Logica Library
• 2013-2018, Editor, Austrasian Journal of Logic
• 2013-, Associate Editor, Studia Logica
• 2016-, the Advisory Board Member, Topoi
• 2011-2015, Editorial Board Member, Topoi
• 2011-, Editorial Board Member, Synthese
• 2010-, Associate Editor, Studies in Logic
• 2010-, Area Editor, FoLLI Publications on Logic, Language and Information