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 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.
Yipu Li and Yanjing Wang: Epistemic Syllogistic: First Steps. To appear in Proceedings of TARK Zilu Wang and Yanjing Wang: […]
We gave an almost complete terrain on the decidability of all the bundled fragments of first-order modal logic in this […]
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.
王老师您好,您之前主页展示的制作思维导图的链接在这个新的主页找不到了,如果可以的话也可以修复一下这个,谢谢!
是这个么?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/