Faculty
Location: Home» People» Faculty» Section of Logic

Section of Logic

  • Yanjing WANG
  • Professor
  • Office:Lee Shau Kee Humanities Buildings (李兆基人文学苑) No. 2, Room 241
  • Email: y.wang@pku.edu.cn
  • Homepage: https://wangyanjing.com
  • CV: CVYanjingWang
  • Education: PhD, University of Amsterdam/CWI (2010)
  • Areas of Research: Different kinds of knowledge, their representations and logics; Epistemic Logic, Dynamic Logic, and their combinations; Multi-agent systems; Formal semantics; `Mechanism design’ in academia; Other things that satisfy my curiosity.
Bio

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.

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, ScopusGoogle ScholarORCIDMathematical ReviewsPhilpaper, and Researchgate. My Erdős number is 3.

For more information, check the personal homepage.

Selected Courses

Advanced Modal Logic; Epistemic Logic; Logical Dynamics; Language, Logic, and Computation; Logic in Philosophy, Math, and Computer Science; Introduction to Logic; Logic and Puzzles

Selected Projects

Decidable Fragments of First-order Modal Logic

Beyond "knowing that": non-standard epistemic logics (in terms of research not grant)

Selected Publications

Yanjing Wang, Yu Wei, Jeremy Seligman: Quantifier-free Epistemic Term-Modal Logic with Assignment Operator, in Annals of Pure and Applied Logic: 173(3), 103071

Yanjing Wang: A logic of goal-directed knowing how, Synthese 195 (10): 4419-4439. 2018

Yanjing Wang: Beyond knowing that: a new generation of epistemic logics, in Jaakko Hintikka on
knowledge and game theoretical semantics, 499-533, (2018) Springer

Yanjing Wang: A new modal framework for epistemic logic. in Proceedings of TARK 2017: 493-512
EPTCS

Yanjing Wang and Qinxiang Cao, On axiomatizations of Public Announcement Logic. Synthese
190(1S): 103-134 (2013)

Yanjing Wang, Jie Fan: Knowing that, Knowing what, and Public Communication: Public Announcement Logic with Kv Operators, in Proceedings of IJCAI 2013: 1147-1154. AAAI press.

Yanjing Wang and Yanjun Li (2012), Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Advances in Modal Logic Vol. 9, pp.559-580 (2012), College publications

Awards and Honors

Beth Scholarship, The Netherlands 2004-2006
National Program for Support of Top-notch Young Professionals, China, 2015
New Zealand Centre Visiting Research Fellowship, New Zealand, 2017
National Program for Support of Leading Scholars in Philosophy and Social Sciences, China, 2020
2nd Prize of Outstanding Research Award (Humanities and Social Sciences) of China, 2024

Academic Services

Associate Editor of Journal of Philosophical Logic; Editorial board member of Studies in Logic

PC member: LORI13, LORI15, AAMAS15, TARK15, LOFT16, KR16, IJCAI16, ICLA17, WoLLIC18, AiML20, LORI21...

PC Chair: National Conference on Modern Logic 15, 16

Reviewer: AAMAS, CSL, LICS, KR, TARK, ICLA, LORI, ACM ToCL, JANCL, Studia Logica, Synthese, JLC, RSL, Artificial Intelligence, JPL, JoLLI...

Program Scheduler of 24th World Congress of Philosophy (1000 sessions 5000+ talks)

TOP