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.
Δ
I will teach the course Introduction to Bundled Modalities at NASSLLI25.
I organized a subpanel on Logic and AI at Beijing Forum 2024 on Nov 3rd, featuring 4 excellent speakers: Beishui […]
Check here for the program.
We have hosted the Chinese Annual Conference on Mathematical Logic 2024. More than 150 people registered. The conference features one […]
In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning […]
I was listed as one of the Most Cited Chinese Researchers (in Philosophy) by Elsevier in 2023.
The award is given to my paper “A logic of goal-directed knowing how” published by Synthese.
The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.
Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.
Here is the preliminary page.
王老师您好,您之前主页展示的制作思维导图的链接在这个新的主页找不到了,如果可以的话也可以修复一下这个,谢谢!
是这个么?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/