Section of Logic
- Yanjing WANG
- Associate Professor (Tenured)
- Office:Lee Shau Kee Humanities Buildings (李兆基人文学苑) No. 2, Room 139
- Email: firstname.lastname@example.org
- Homepage: www.wangyanjing.com
- CV: CV Yanjing WANG.pdf
- Education: PhD, University of Amsterdam (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.
Yanjing Wang obtained his Ph.D. in logic from the University of Amsterdam in 2010. He is currently an associated professor (with tenure) and vice chair of the Department of Philosophy of Peking University. His research mainly focuses on modal logic and its applications in philosophy, theoretical computer science, and AI. He has published more than 40 English papers in leading international journals and top conference proceedings of logic, philosophy and AI, such as Synthese, Artificial Intelligence, Review of Symbolic Logic, Advances in Modal Logic, Studia Logica, IJCAI, AAMAS.
In particular, Yanjing Wang is promoting a new research program of logics of knowing how, knowing why, knowing who, and so on. This also inspired him to propose a new class of well-behaved fragments of first-order modal logic by packing a quantifier and a modality together. He is currently the secretary-general of the modern logic chapter of the Chinese Society of Logic, and a committee member of the mathematical logic chapter of Chinese Mathematical Society.
- Selected Courses
Advanced Modal Logic; Epistemic Logic; Logical Dynamics; Language, Logic, and Computation; Logic in Philosophy, Math, and Computer Science
- Selected Projects
Beyond "knowing that": non-standard epistemic logics (in terms of research not grant)
- Selected Publications
Yanjing Wang: A Logic of Goal-directed Knowing How, to appear in Synthese
Yanjing Wang: Beyond "knowing that": a new generation of epistemic logics, In Proceedings of TARK 2017
Yanjing Wang, Qinxiang Cao: On Axiomatizations of Public Announcement Logic, 2013 Synthese
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
- Academic Services
PC member: LORI13, LORI15, AAMAS15, TARK15, LOFT16, KR16, IJCAI16, ICLA17, WoLLIC18...
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)