The old site was down… I will gradually recover my site here. Sorry for the missing links in the current pages.
王老师您好,您之前主页展示的制作思维导图的链接在这个新的主页找不到了,如果可以的话也可以修复一下这个,谢谢!
是这个么?https://www.mindmeister.com/701545611/beyond-knowing-that-a-new-generation-of-epistemic-logics
K[a]p → [a]Kp, < a > Kp → K[a]p这两个公式的直观解读是什么呢,按知之为知之不知为不知那个系列的来
哦 这是两个在动态知识逻辑里非常重要的公理,一个叫perfect recall,我知道做a后会怎么样则做a后我就真的知道 另一个( < a >Kp -> K[a]p)叫no miracles:如果做了a我知道则我之前就能预计到结果,这两个刻画了主体的观察和记忆能力,见我们的论文: http://wangyanjing.com/pubs/on-axiomatizations-of-public-announcement-logic/。但是没有像知之为知之这样简洁的话可以概括了。
王老师您好!我是清华外哲的19级博士李明。以前曾参加您分享网络学术研究技巧的午餐会。由于当时的笔记找不到了,于是回过头想在主页重温一遍,然而~却发现以前的数据没有了,能否请求您分享一下当初的ppt,如果还保留着的话,万分感谢!!!
你看看在teaching的academic skill里:http://wangyanjing.com/teaching/
Your email address will not be published. Required fields are marked *
Comment *
Save my name, email, and website in this browser for the next time I comment.
Δ
Our joint paper on the epistemic interpretation of tensor disjunction is accepted at this year’s Advances in Modal Logic. This […]
详情请见这里,以及教务部的通知。
This is the beginning of a series of works by Haoyu, Yunsong, and me looking at non-classical logics from an […]
今年的现代逻辑会在济南开,感谢山大的逻辑学团队,感谢PC Chair 琚凤魁,欢迎大家投稿!
From April 1st, 2022, I will join the editorial team of the Journal of Philosophical Logic as an associate editor.
I will be the director of the PKU Center of Logic, Language, and Cognition from March 2022. Many thanks to […]
The joint paper with Dazhu Li is about using modal logic to capture the usual mereology theories. It has been […]
The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the […]
Retrospectively, I chose the “wrong” option of recording my lectures than simply doing live online teaching when the university asked […]
博雅博士后(下一轮申请9.1开始):https://postdocs.pku.edu.cn/tzgg/101366.htm 如有意向请提前联系
王老师您好,您之前主页展示的制作思维导图的链接在这个新的主页找不到了,如果可以的话也可以修复一下这个,谢谢!
是这个么?https://www.mindmeister.com/701545611/beyond-knowing-that-a-new-generation-of-epistemic-logics
K[a]p → [a]Kp, < a > Kp → K[a]p这两个公式的直观解读是什么呢,按知之为知之不知为不知那个系列的来
哦 这是两个在动态知识逻辑里非常重要的公理,一个叫perfect recall,我知道做a后会怎么样则做a后我就真的知道 另一个( < a >Kp -> K[a]p)叫no miracles:如果做了a我知道则我之前就能预计到结果,这两个刻画了主体的观察和记忆能力,见我们的论文: http://wangyanjing.com/pubs/on-axiomatizations-of-public-announcement-logic/。但是没有像知之为知之这样简洁的话可以概括了。
王老师您好!我是清华外哲的19级博士李明。以前曾参加您分享网络学术研究技巧的午餐会。由于当时的笔记找不到了,于是回过头想在主页重温一遍,然而~却发现以前的数据没有了,能否请求您分享一下当初的ppt,如果还保留着的话,万分感谢!!!
你看看在teaching的academic skill里:http://wangyanjing.com/teaching/