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.
Δ
The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, […]
ESSLLI 2023 WORKSHOP on First-order Modal and Temporal Logics: State of the art and perspectives (FOMTL 2023) LICS-affiliated Workshop on The Decision Problem in […]
In this joint paper, we connect the following four topics: a class of generalized graphs whose relations do not have […]
欢迎全校在读的本科生及硕士生申请,详情请见通知.
In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.
In this joint paper, we basically map the terrain of the (un)decidability of various (generalizations of) bundled fragments of first-order […]
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 琚凤魁,欢迎大家投稿!
王老师您好,您之前主页展示的制作思维导图的链接在这个新的主页找不到了,如果可以的话也可以修复一下这个,谢谢!
是这个么?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/