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
732013
Contingency and knowing whether
J Fan, Y Wang, H Van Ditmarsch
The Review of Symbolic Logic 8 (1), 75-107, 2015
522015
Epistemic modelling and protocol dynamics
Y Wang
Universiteit van Amsterdam, 2010
522010
On the logic of lying
H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang
Games, actions and social software, 41-72, 2012
492012
Almost Necessary.
J Fan, Y Wang, H Van Ditmarsch
Advances in modal logic 10, 178-196, 2014
372014
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
342008
A logic of goal-directed knowing how
Y Wang
Synthese 195 (10), 4419-4439, 2018
312018
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Y Wang, J Fan
IJCAI 13, 2013
302013
A logic of knowing how
Y Wang
International Workshop on Logic, Rationality and Interaction, 392-405, 2015
292015
Conditionally knowing what
Y Wang, J Fan
252014
Strategically knowing how
R Fervari, A Herzig, Y Li, Y Wang
arXiv preprint arXiv:1705.05254, 2017
242017
To know or not to know: epistemic approaches to security protocol verification
F Dechesne, Y Wang
Synthese 177 (1), 51-76, 2010
232010
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
Reasoning about agent types and the hardest logic puzzle ever
F Liu, Y Wang
Minds and Machines 23 (1), 123-161, 2013
202013
Composing models
J Van Eijck, Y Sietsma, Floor;Wang
Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011
202011
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
202009
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
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.
Y Wang, Y Li
Advances in Modal Logic 9, 559-580, 2012
182012
A dynamic epistemic framework for conformant planning
Q Yu, Y Li, Y Wang
arXiv preprint arXiv:1606.07528, 2016
172016
" Knowing value" logic as a normal modal logic
T Gu, Y Wang
arXiv preprint arXiv:1604.08709, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20