Yanjing Wang (王彦晶)

Cited by

	All	Since 2018
Citations	1402	845
h-index	23	17
i10-index	37	26

220

110

165

20082009201020112012201320142015201620172018201920202021202220236 7 42 48 43 38 56 83 88 121 120 130 82 209 132 170

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 loria.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 PadmanabhaAssistant Professor, Department of Computer Science and Engineering, Indian Institute of TechnologyVerified email at iitdh.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
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
Jeremy SeligmanPhilosophy, The University of AucklandVerified email at auckland.ac.nz
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
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Fenrong LiuProfessor of Logic, Tsinghua UniversityVerified email at tsinghua.edu.cn
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
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenVerified email at uib.no

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	127	2013
Contingency and Knowing Whether. J Fan, Y Wang, H Van Ditmarsch The Review of Symbolic Logic 8 (1), 75-107, 2015	105	2015
Beyond knowing that: A new generation of epistemic logics Y Wang Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018	77	2018
A logic of goal-directed knowing how Y Wang Synthese 195 (10), 4419-4439, 2018	75	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	66	2012
Epistemic modelling and protocol dynamics Y Wang Universiteit van Amsterdam, 2010	60	2010
Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang IJCAI 2017, 2017	56	2017
A logic of knowing how Y Wang LORI 2015, 392-405, 2015	52	2015
Almost Necessary. J Fan, Y Wang, H Van Ditmarsch Advances in modal logic 2014, 178-196, 2014	50	2014
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Y Wang, J Fan IJCAI 2013, 2013	42	2013
Propositional dynamic logic as a logic of belief revision J Van Eijck, Y Wang WoLLIC 2008, 136-148, 2008	35	2008
Conditionally knowing what Y Wang, J Fan Advances in Modal Logic 2014, 2014	33	2014
A new modal framework for epistemic logic Y Wang TARK 2017, 2017	31	2017
"Knowing value" logic as a normal modal logic T Gu, Y Wang Advances in Modal Logic 2016, 2016	31	2016
A logic of knowing why C Xu, Y Wang, T Studer Synthese 198, 1259–1285, 2021	29	2021
Achieving While Maintaining Y Li, Y Wang ICLA 2015, 154-167, 2017	28*	2017
To know or not to know: epistemic approaches to security protocol verification F Dechesne, Y Wang Synthese 177, 51-76, 2010	28	2010
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck DALT 2010, 130-147, 2010	27	2010
Hidden protocols: Modifying our expectations in an evolving world H Van Ditmarsch, S Ghosh, R Verbrugge, Y Wang Artificial Intelligence 208, 18-40, 2014	26*	2014
Bundled fragments of first-order modal logic:(un) decidability A Padmanabha, R Ramanujam, Y Wang FSTTCS 2018, 2018	25	2018

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