Yanjing Wang (王彦晶) 个人学术档案

引用次数

	总计	2019 年至今
引用	1584	907
h 指数	23	16
i10 指数	40	27

240

120

180

200820092010201120122013201420152016201720182019202020212022202320247 7 42 48 43 37 56 85 81 121 121 145 87 232 155 219 59

开放获取的出版物数量

查看全部

9 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWI在 cwi.nl 的电子邮件经过验证
Hans van DitmarschCNRS在 irit.fr 的电子邮件经过验证
Yanjun LiNankai University在 nankai.edu.cn 的电子邮件经过验证
F DechesneTU Delft NL在 tudelft.nl 的电子邮件经过验证
Floor SietsmaPostdoc Information Retrieval, University of Amsterdam在 uva.nl 的电子邮件经过验证
Anantha PadmanabhaIndian Institute of Technology Madras在 iitm.ac.in 的电子邮件经过验证
R. RamanujamInstitute of Mathematical Sciences在 imsc.res.in 的电子邮件经过验证
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICET在 unc.edu.ar 的电子邮件经过验证
Jeremy SeligmanPhilosophy, The University of Auckland在 auckland.ac.nz 的电子邮件经过验证
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of Groningen在 rug.nl 的电子邮件经过验证
Sujata GhoshComputer Science, Indian Statistical Institute, Chennai在 isichennai.res.in 的电子邮件经过验证
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)在 irit.fr 的电子邮件经过验证
Jie FanPeking University在 pku.edu.cn 的电子邮件经过验证
Thomas StuderUniversität Bern在 iam.unibe.ch 的电子邮件经过验证
Fenrong LiuProfessor of Logic, Tsinghua University在 tsinghua.edu.cn 的电子邮件经过验证
Simona OrzanFontys University of Applied Sciences在 fontys.nl 的电子邮件经过验证
Lakshmanan KuppusamyProfessor, School of Comp. Sci. & Engg. (SCOPE), VIT University, Vellore - 632 014, INDIA在 vit.ac.in 的电子邮件经过验证
Thomas ÅgotnesProfessor of Information Science, University of Bergen在 infomedia.uib.no 的电子邮件经过验证
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i Bergen在 uib.no 的电子邮件经过验证
Jaco van de PolProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证

关注

Yanjing Wang (王彦晶)

Professor of Logic, Peking University

在 pku.edu.cn 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
On axiomatizations of public announcement logic Y Wang, Q Cao Synthese 190 (S1), 103-134, 2013	130	2013
Contingency and Knowing Whether. J Fan, Y Wang, H Van Ditmarsch The Review of Symbolic Logic 8 (1), 75-107, 2015	117	2015
Epistemic logic R Rendsvig, J Symons, Y Wang The Stanford Encyclopedia of Philosophy (Winter 2023 Ed.), 2023	93*	2023
Beyond knowing that: a new generation of epistemic logics Y Wang Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018	83	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	68	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	53	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	44	2013
Propositional dynamic logic as a logic of belief revision J Van Eijck, Y Wang WoLLIC 2008, 136-148, 2008	35	2008
A logic of knowing why C Xu, Y Wang, T Studer Synthese 198, 1259–1285, 2021	34	2021
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	31	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	27	2010
Bundled fragments of first-order modal logic:(un) decidability A Padmanabha, R Ramanujam, Y Wang FSTTCS 2018, 2018	26	2018

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用