Concepedia

Yanjing Wang

YW

22

Publications

588

Citations

14

H-Index

2007

Active since

Affiliations

Peking University(Current)

Centrum Wiskunde & Informatica

Nankai University

Université de Lorraine

University of Groningen

Yanjing Wang is an author at Peking University specializing in automated reasoning, engineering, and epistemology.

Top concepts

Automated ReasoningEngineeringEpistemologyFormal MethodsSemanticsComputer ScienceFormal VerificationDecision TheorySocial SciencesCognitive Science

Publications per year

2007–2021

22

Publications

22

On axiomatizations of public announcement logic

Yanjing Wang, Qinxiang Cao · Synthese · 2013 · 90 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +8

CONTINGENCY AND KNOWING WHETHER

Jie Fan, Yanjing Wang, Hans van Ditmarsch · The Review of Symbolic Logic · 2015 · 76 citations

Noncontingency Operator δ, Engineering, Classical Logic +21

A logic of goal-directed knowing how

Yanjing Wang · Synthese · 2016 · 70 citations

Cognitive Science, Goal-directed Knowing, Automated Reasoning +7

Strategically knowing how

Raul Fervari, Andreas Herzig, Yanjun Li et al. · 2017 · 44 citations · Full text

Artificial Intelligence, Engineering, Model-based Reasoning +22

Knowing that, knowing what, and public communication: public announcement logic with Kv operators

Yanjing Wang, Jie Fan · 2013 · 28 citations

Rows per page

1–5 of 22