Follow
Yanjing Wang
Yanjing Wang
Associate Professor of Logic (tenured), Peking University
Verified email at pku.edu.cn - Homepage
Title
Cited by
Cited by
Year
On axiomatizations of public announcement logic
Y Wang, Q Cao
Synthese 190 (S1), 103-134, 2013
1142013
Contingency and Knowing Whether.
J Fan, Y Wang, H Van Ditmarsch
The Review of Symbolic Logic 8 (1), 75-107, 2015
832015
Beyond knowing that: a new generation of epistemic logics
Y Wang
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018
592018
On the logic of lying
H Ditmarsch, J Eijck, F Sietsma, Y Wang
Games, actions and social software, 41-72, 2012
592012
A logic of goal-directed knowing how
Y Wang
Synthese 195 (10), 4419-4439, 2018
572018
Epistemic modelling and protocol dynamics
Y Wang
Universiteit van Amsterdam, 2010
562010
Strategically knowing how
R Fervari, A Herzig, Y Li, Y Wang
IJCAI 2017, 2017
442017
Almost Necessary.
J Fan, Y Wang, H Van Ditmarsch
Advances in modal logic 2014, 178-196, 2014
442014
A logic of knowing how
Y Wang
LORI 2015, 392-405, 2015
412015
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Y Wang, J Fan
IJCAI 2013, 2013
402013
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
332014
To know or not to know: epistemic approaches to security protocol verification
F Dechesne, Y Wang
Synthese 177 (1), 51-76, 2010
292010
Logic of information flow on communication channels
Y Wang, F Sietsma, J Van Eijck
DALT 2010, 130-147, 2010
272010
"Knowing value" logic as a normal modal logic
T Gu, Y Wang
Advances in Modal Logic 2016, 2016
262016
A new modal framework for epistemic logic
Y Wang
TARK 2017, 2017
232017
Reasoning about agent types and the hardest logic puzzle ever
F Liu, Y Wang
Minds and Machines 23 (1), 123-161, 2013
232013
An Alternative Axiomatization of DEL and Its Applications
Y Wang, G Aucher
IJCAI 2013, 2013
232013
Composing models
J Van Eijck, Y Sietsma, Floor;Wang
Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011
232011
Verifying epistemic protocols under common knowledge
Y Wang, L Kuppusamy, J van Eijck
TARK 2009, 257-266, 2009
232009
The system can't perform the operation now. Try again later.
Articles 1–20