Yanjing Wang (王彦晶)

Cited by

	All	Since 2019
Citations	1610	933
h-index	23	17
i10-index	40	27

240

120

180

200820092010201120122013201420152016201720182019202020212022202320247 7 42 48 43 37 56 85 81 121 121 145 88 233 159 215 83

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl
Hans van DitmarschCNRSVerified email at irit.fr
Yanjun LiNankai UniversityVerified email at nankai.edu.cn
F DechesneTU Delft NLVerified email at tudelft.nl
Floor SietsmaPostdoc Information Retrieval, University of AmsterdamVerified email at uva.nl
Anantha PadmanabhaIndian Institute of Technology MadrasVerified email at iitm.ac.in
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Jeremy SeligmanPhilosophy, The University of AucklandVerified email at auckland.ac.nz
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenVerified email at rug.nl
Sujata GhoshComputer Science, Indian Statistical Institute, ChennaiVerified email at isichennai.res.in
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Jie FanPeking UniversityVerified email at pku.edu.cn
Thomas StuderUniversität BernVerified email at iam.unibe.ch
Fenrong LiuProfessor of Logic, Tsinghua UniversityVerified email at tsinghua.edu.cn
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Lakshmanan KuppusamyProfessor, School of Comp. Sci. & Engg. (SCOPE), VIT University, Vellore - 632 014, INDIAVerified email at vit.ac.in
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenVerified email at uib.no
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk

Yanjing Wang (王彦晶)

Professor of Logic, Peking University

Verified email at pku.edu.cn - Homepage

Modal Logic Non-classical Logic Logics for Artificial Intelligence Formal Methods Formal Semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On axiomatizations of public announcement logic Y Wang, Q Cao Synthese 190 (S1), 103-134, 2013	134	2013
Contingency and Knowing Whether. J Fan, Y Wang, H Van Ditmarsch The Review of Symbolic Logic 8 (1), 75-107, 2015	119	2015
Epistemic logic R Rendsvig, J Symons, Y Wang The Stanford Encyclopedia of Philosophy (Winter 2023 Ed.), 2023	99*	2023
Beyond knowing that: a new generation of epistemic logics Y Wang Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018	85	2018
A logic of goal-directed knowing how Y Wang Synthese 195 (10), 4419-4439, 2018	79	2018
On the logic of lying H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang Games, Actions and Social Software: Multidisciplinary Aspects, 41-72, 2012	69	2012
Epistemic modelling and protocol dynamics Y Wang Universiteit van Amsterdam, 2010	62	2010
Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang IJCAI 2017, 2017	58	2017
A logic of knowing how Y Wang LORI 2015, 392-405, 2015	54	2015
Almost Necessary. J Fan, Y Wang, H Van Ditmarsch Advances in modal logic 2014, 178-196, 2014	53	2014
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Y Wang, J Fan IJCAI 2013, 2013	45	2013
A logic of knowing why C Xu, Y Wang, T Studer Synthese 198, 1259–1285, 2021	35	2021
Propositional dynamic logic as a logic of belief revision J Van Eijck, Y Wang WoLLIC 2008, 136-148, 2008	35	2008
A new modal framework for epistemic logic Y Wang TARK 2017, 2017	34	2017
Conditionally knowing what Y Wang, J Fan Advances in Modal Logic 2014, 2014	34	2014
"Knowing value" logic as a normal modal logic T Gu, Y Wang Advances in Modal Logic 2016, 2016	33	2016
To know or not to know: epistemic approaches to security protocol verification F Dechesne, Y Wang Synthese 177, 51-76, 2010	32	2010
Achieving While Maintaining Y Li, Y Wang ICLA 2015, 154-167, 2017	28*	2017
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck DALT 2010, 130-147, 2010	28	2010
Knowing values and public inspection J van Eijck, M Gattinger, Y Wang ICLA 2017, 77-90, 2017	27	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors