Yanjing Wang
Yanjing Wang
Associate Professor of Logic (tenured), Peking University
Geverifieerd e-mailadres voor pku.edu.cn - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
On axiomatizations of public announcement logic
Y Wang, Q Cao
Synthese 190 (1), 103-134, 2013
772013
Contingency and Knowing Whether.
J Fan, Y Wang, H Van Ditmarsch
Rev. Symb. Log. 8 (1), 75-107, 2015
562015
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
512012
Almost Necessary.
J Fan, Y Wang, H Van Ditmarsch
Advances in modal logic 10, 178-196, 2014
382014
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
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Y Wang, J Fan
IJCAI 13, 2013
322013
A logic of goal-directed knowing how
Y Wang
Synthese 195 (10), 4419-4439, 2018
312018
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
272014
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
Composing models
J Van Eijck, Y Sietsma, Floor;Wang
Journal of Applied Non-classical Logics 21 (3-4), 397-425, 2011
212011
Reasoning about agent types and the hardest logic puzzle ever
F Liu, Y Wang
Minds and Machines 23 (1), 123-161, 2013
202013
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
172016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20