Organization and Community Service

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

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), Tsinghua Uni. Press

    • Lu Wang, Views of Logic, 2021
    • Martin Stokhof, Approaching Meaning: Formal Semantics and Wittgenstein, 2022
    • Qi Feng, Ordering and Number - The Evolution of the Concept of Number, 2023
    • Fenrong Liu, Social Epistemic Logic, 2023

Memberships, Chairs

  • 2024-, Member, China Committee, International Science Council (ISC)
  • 2024-, Member, The ASL Committee on Education
  • 2024-2028, Assessor, the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST)
  • 2023-, Member, Steering Committee, DLMPST-Commission on Logic Education
  • 2023-, Member, Steering Committee, Theoretical Aspects of Rationality and Knowledge(TARK)
  • 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

Go Back to the Homepage