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 (1), 103-134, 2013
862013
Contingency and Knowing Whether.
J Fan, Y Wang, H Van Ditmarsch
Rev. Symb. Log. 8 (1), 75-107, 2015
652015
Epistemic modelling and protocol dynamics
Y Wang
Universiteit van Amsterdam, 2010
532010
On the logic of lying
H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang
Games, actions and social software, 41-72, 2012
522012
Almost Necessary.
J Fan, Y Wang, H Van Ditmarsch
Advances in modal logic 10, 178-196, 2014
432014
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
352008
A logic of goal-directed knowing how
Y Wang
Synthese 195 (10), 4419-4439, 2018
342018
A logic of knowing how
Y Wang
International Workshop on Logic, Rationality and Interaction, 392-405, 2015
322015
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Y Wang, J Fan
IJCAI 13, 2013
322013
Conditionally knowing what
Y Wang, J Fan
282014
Strategically knowing how
R Fervari, A Herzig, Y Li, Y Wang
arXiv preprint arXiv:1705.05254, 2017
262017
To know or not to know: epistemic approaches to security protocol verification
F Dechesne, Y Wang
Synthese 177 (1), 51-76, 2010
232010
Composing models
J Van Eijck, Y Sietsma, Floor;Wang
Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011
222011
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
222010
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
212009
Reasoning about agent types and the hardest logic puzzle ever
F Liu, Y Wang
Minds and Machines 23 (1), 123-161, 2013
202013
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
202007
A dynamic epistemic framework for conformant planning
Q Yu, Y Li, Y Wang
arXiv preprint arXiv:1606.07528, 2016
192016
An Alternative Axiomatization of DEL and Its Applications
Y Wang, G Aucher
IJCAI 13, 2013
182013
Y.: Not all those who wander are lost: Dynamic epistemic reasoning in navigation
Y Wang, Y Li
In: Advances in Modal Logic, 2012
182012
The system can't perform the operation now. Try again later.
Articles 1–20