Yanjing Wang 王彦晶

I am a logician at the Department of Philosophy of Peking University. Currently, I am a professor of logic and the vice-chair of the department, the director of Center for Logic, Language, and Cognition at Peking University, and the deputy director of the PKU Centre for Philosophy and the Future of Humanity. I am also an associate editor of the Journal of Philosophical Logic and the Journal of Logic, Language and Information.

My research mainly focuses on modal logic and its applications in philosophy, theoretical computer science, and AI. In recent years, I have been trying to systematically propose and study logics of know-wh, such as knowing how/why/what/who, and so on. The core idea is to introduce the so-called bundled modalities which pack a quantifier and a modality together. This also leads to a family of new decidable fragments of first-order modal logic and a general approach to unpacking intuitionistic logic, inquisitive logic, and related non-classical logics as epistemic logics. Here is my CV. You can also find my papers at DBLP, Scopus, Google Scholar, ORCID, Mathematical Reviews, Philpaper, and Researchgate. My Erdős number is 3.




We should aim to be logicalians with the capital L: sensitive as linguists, think like philosophers, prove theorems like mathematicians, and make the results work like those of computer scientists. At least go beyond what ChatGPT and its logic-enhanced future iterations can do 🙂


  • Ph.D. 2010

    Ph.D. in Logic

    CWI & University of Amsterdam

  • MSc. 2006

    Master of Logic

    ILLC, University of Amsterdam

  • B.A. 2004

    Bachelor in Philosophy (Logic)

    Department of Philosophy, Peking University


  • Present2022

    Full Professor, Deputy Chair of the Department

    Department of Philosophy, Peking University

  • 20222018

    Associate Professor (Tenured), Deputy Chair of the Department

    Department of Philosophy, Peking University

  • 20182012

    Associate Professor

    Department of Philosophy, Peking University

  • 20122010

    Assistant Professor

    Department of Philosophy, Peking University

    Kp → p, Kp → KKp, ¬Kp → K¬Kp, K∃xPx → ∃xKPx, K[a]p → [a]Kp, Kp → K[a]p

    Some questions that I asked (and answered)