Researcher profile
Yanjing Wang
1 paper in the PaperMetrix corpus
Publications
Papers by this author
-
De Re Updates
2021 · Electronic Proceedings in Theoretical Computer Science
In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re …