ملف الباحث
Michael Cohen
ورقة واحدة في مجموعة PaperMetrix
المنشورات
أوراق هذا المؤلف
-
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 …