Yanjing Wang

Geciteerd door

	Alles	Sinds 2017
Citaties	1184	751
h-index	21	16
i10-index	34	23

220

110

165

2008200920102011201220132014201520162017201820192020202120227 7 52 47 42 39 58 81 75 113 123 128 88 202 95

Openbare toegang

Alles bekijken

6 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIGeverifieerd e-mailadres voor cwi.nl
Hans van DitmarschOpen University of the NetherlandsGeverifieerd e-mailadres voor loria.fr
Yanjun LiNankai UniversityGeverifieerd e-mailadres voor nankai.edu.cn
F DechesneTU Delft NLGeverifieerd e-mailadres voor tudelft.nl
Floor SietsmaPostdoc Information Retrieval, University of AmsterdamGeverifieerd e-mailadres voor uva.nl
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETGeverifieerd e-mailadres voor unc.edu.ar
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenGeverifieerd e-mailadres voor rug.nl
Sujata GhoshComputer Science, Indian Statistical Institute, ChennaiGeverifieerd e-mailadres voor isichennai.res.in
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Geverifieerd e-mailadres voor irit.fr
Jie FanPeking UniversityGeverifieerd e-mailadres voor pku.edu.cn
Anantha PadmanabhaPost Doctoral Researcher, VALDA team, École Normale Supérieure, ParisGeverifieerd e-mailadres voor ens.fr
R. RamanujamInstitute of Mathematical SciencesGeverifieerd e-mailadres voor imsc.res.in
Jeremy SeligmanPhilosophy, The University of AucklandGeverifieerd e-mailadres voor auckland.ac.nz
Simona OrzanFontys University of Applied SciencesGeverifieerd e-mailadres voor fontys.nl
Fenrong LiuProfessor of Logic, Tsinghua UniversityGeverifieerd e-mailadres voor tsinghua.edu.cn
Lakshmanan KuppusamyProfessor, School of Comp. Sci. & Engg. (SCOPE), VIT University, Vellore - 632 014, INDIAGeverifieerd e-mailadres voor vit.ac.in
Thomas StuderUniversität BernGeverifieerd e-mailadres voor iam.unibe.ch
Jaco van de PolProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
Thomas ÅgotnesProfessor of Information Science, University of BergenGeverifieerd e-mailadres voor infomedia.uib.no
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenGeverifieerd e-mailadres voor uib.no

Volgen

Yanjing Wang

Professor of Logic, Peking University

Geverifieerd e-mailadres voor pku.edu.cn - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
On axiomatizations of public announcement logic Y Wang, Q Cao Synthese 190 (S1), 103-134, 2013	115	2013
Contingency and Knowing Whether. J Fan, Y Wang, H Van Ditmarsch The Review of Symbolic Logic 8 (1), 75-107, 2015	83	2015
Beyond knowing that: a new generation of epistemic logics Y Wang Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018	59	2018
On the logic of lying H Ditmarsch, J Eijck, F Sietsma, Y Wang Games, actions and social software, 41-72, 2012	59	2012
A logic of goal-directed knowing how Y Wang Synthese 195 (10), 4419-4439, 2018	58	2018
Epistemic modelling and protocol dynamics Y Wang Universiteit van Amsterdam, 2010	56	2010
Strategically knowing how R Fervari, A Herzig, Y Li, Y Wang IJCAI 2017, 2017	45	2017
Almost Necessary. J Fan, Y Wang, H Van Ditmarsch Advances in modal logic 2014, 178-196, 2014	44	2014
A logic of knowing how Y Wang LORI 2015, 392-405, 2015	41	2015
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Y Wang, J Fan IJCAI 2013, 2013	40	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
To know or not to know: epistemic approaches to security protocol verification F Dechesne, Y Wang Synthese 177 (1), 51-76, 2010	29	2010
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck DALT 2010, 130-147, 2010	27	2010
"Knowing value" logic as a normal modal logic T Gu, Y Wang Advances in Modal Logic 2016, 2016	26	2016
A new modal framework for epistemic logic Y Wang TARK 2017, 2017	23	2017
Reasoning about agent types and the hardest logic puzzle ever F Liu, Y Wang Minds and Machines 23 (1), 123-161, 2013	23	2013
An Alternative Axiomatization of DEL and Its Applications Y Wang, G Aucher IJCAI 2013, 2013	23*	2013
Composing models J Van Eijck, Y Sietsma, Floor；Wang Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011	23	2011
Verifying epistemic protocols under common knowledge Y Wang, L Kuppusamy, J van Eijck TARK 2009, 257-266, 2009	23	2009

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs