Scholar
Yanjing Wang (王彦晶)
Google Scholar ID: 4jl9qlcAAAAJ
Professor of Logic, Peking University
Citations & Impact
Citations
933
H-index
16
i10-index
27
Publications
20
Co-authors
24
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Selected as a Leading Talent in Philosophy and Social Sciences under China’s 'Ten Thousand Talents Plan'
- Recipient of the 'Four Batches' Talent Program
- Supported by the Youth Top Talent Program of the 'Ten Thousand Talents Plan'
- Second Prize, Ninth Outstanding Research Award (Humanities and Social Sciences) from China’s Ministry of Education
- Second Prize, Outstanding Research Award in Humanities and Social Sciences of Chinese Universities
- Listed as a Most Cited Chinese Researcher by Elsevier
- Publications in top journals including Artificial Intelligence and Information & Computation
- Papers accepted at major conferences including AiML 2024, TARK, and DEON
- Erdős number: 3
Research Experience
- Full Professor and Deputy Chair, Department of Philosophy, Peking University (2022–present)
- Tenured Associate Professor and Deputy Chair, Department of Philosophy, Peking University (2018–2022)
- Associate Professor, Department of Philosophy, Peking University (2012–2018)
- Associate Editor of the Journal of Philosophical Logic and the Journal of Logic, Language and Information
- Organized and participated in numerous academic events, including the Beijing Forum on Logic and AI and the 'Bundles in Logic' workshop at Lorentz Center
Background
- Professor and Deputy Chair of the Department of Philosophy, Peking University
- Director of the Center for Logic, Language, and Cognition, Peking University
- Deputy Director of the PKU Centre for Philosophy and the Future of Humanity
- Vice President of the Chinese Association for Logic
- Deputy Director of the Mathematical Logic Committee of the Chinese Mathematical Society
- Research focuses on modal logic and its applications in philosophy, theoretical computer science, and AI
- Pioneered the systematic study of 'logics of know-wh' (e.g., knowing how/why/what/who)
- Introduced 'bundled modalities' that combine a quantifier and a modality
- This framework yields new decidable fragments of first-order modal logic and provides epistemic interpretations of intuitionistic and inquisitive logics
- Research philosophy prioritizes conceptual importance over technical complexity, favoring elegant proofs grounded in deep understanding
