Yanjing Wang

Cited by

	All	Since 2016
Citations	845	500
h-index	18	13
i10-index	29	17

120

200820092010201120122013201420152016201720182019202020216 7 52 46 45 36 56 71 75 108 100 120 87 4

Co-authors

Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl
Hans van DitmarschCNRSVerified email at loria.fr
F DechesneTU Delft NLVerified email at tudelft.nl
Floor SietsmaPostdoc Information Retrieval, University of AmsterdamVerified email at uva.nl
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
Jie FanPeking UniversityVerified email at pku.edu.cn
Simona Orzanfreelance technical consultant, Antracit (University ;-))Verified email at antracit.nl
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Raul FervariFaMAF, Universidad Nacional de Córdoba and CONICETVerified email at famaf.unc.edu.ar
Lakshmanan KuppusamyProfessor, School of Comp. Sci. & Engg. (SCOPE), VIT University, Vellore - 632 014, INDIAVerified email at vit.ac.in
Fenrong LiuProfessor of Logic, Tsinghua UniversityVerified email at tsinghua.edu.cn
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Taolue ChenDepartment of Computer Science, University of SurreyVerified email at surrey.ac.uk
Floris RoelofsenInstitute for Logic, Language and Computation, University of AmsterdamVerified email at science.uva.nl

Yanjing Wang

Associate Professor of Logic (tenured), Peking University

Verified email at pku.edu.cn - Homepage

Epistemic Logic Dynamic Logic 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 (1), 103-134, 2013	86	2013
Contingency and Knowing Whether. J Fan, Y Wang, H Van Ditmarsch Rev. Symb. Log. 8 (1), 75-107, 2015	65	2015
Epistemic modelling and protocol dynamics Y Wang Universiteit van Amsterdam, 2010	53	2010
On the logic of lying H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang Games, actions and social software, 41-72, 2012	52	2012
Almost Necessary. J Fan, Y Wang, H Van Ditmarsch Advances in modal logic 10, 178-196, 2014	43	2014
Propositional dynamic logic as a logic of belief revision J Van Eijck, Y Wang International Workshop on Logic, Language, Information, and Computation, 136-148, 2008	35	2008
A logic of goal-directed knowing how Y Wang Synthese 195 (10), 4419-4439, 2018	34	2018
A logic of knowing how Y Wang International Workshop on Logic, Rationality and Interaction, 392-405, 2015	32	2015
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Y Wang, J Fan IJCAI 13, 2013	32	2013
Conditionally knowing what Y Wang, J Fan	28	2014
Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang arXiv preprint arXiv:1705.05254, 2017	26	2017
To know or not to know: epistemic approaches to security protocol verification F Dechesne, Y Wang Synthese 177 (1), 51-76, 2010	23	2010
Composing models J Van Eijck, Y Sietsma, Floor；Wang Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011	22	2011
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck International workshop on declarative agent languages and technologies, 130-147, 2010	22	2010
Verifying epistemic protocols under common knowledge Y Wang, L Kuppusamy, J van Eijck Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009	21	2009
Reasoning about agent types and the hardest logic puzzle ever F Liu, Y Wang Minds and Machines 23 (1), 123-161, 2013	20	2013
Dynamic epistemic verification of security protocols: framework and case study F Dechesne, Y Wang A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality …, 2007	20	2007
A dynamic epistemic framework for conformant planning Q Yu, Y Li, Y Wang arXiv preprint arXiv:1606.07528, 2016	19	2016
An Alternative Axiomatization of DEL and Its Applications Y Wang, G Aucher IJCAI 13, 2013	18	2013
Y.: Not all those who wander are lost: Dynamic epistemic reasoning in navigation Y Wang, Y Li In: Advances in Modal Logic, 2012	18	2012

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

Upload PDF

Follow this author

Cited by

Co-authors