List

可以在这里下载,Gemini-generated podcast (请忽略”外国人试图说中文”的奇怪发音).

2 Responses to “教学科研服务经验教训分享 ppt”

  1. 张彤

    老师您好,听了您的”高阶模态逻辑”的部分课程,感觉有些吃力,尤其是在介绍k系统框架那一节,您阐述的对我来说太过抽象,一些符号表达我无法理解。
    我是哲学专业学生,为提高专业素养,更好的阅读著作以及分析问题而学习逻辑学。我阅读了陈波老师的逻辑导论,并且拥有一些模态逻辑基础,主要是命题模态逻辑。
    请问我还需要学习哪些内容才适合听您的这门课?以及请问贵校”哲学专业逻辑”课的教材是哪一本,我想自学一下。

    • Yanjing

      模态逻辑的中文教材我推荐文学锋老师的模态逻辑教程。我们的哲学专业的逻辑没有固定教材,目前讲的也以一阶逻辑为主,以后可能会改革。

Leave a Reply

Your email address will not be published. Required fields are marked *

  Category: Uncategorized

1 2 3
May 10th, 2025

教学科研服务经验教训分享 ppt

可以在这里下载,Gemini-generated podcast (请忽略”外国人试图说中文”的奇怪发音).

December 22nd, 2024

I will be teaching at NASSLLI25

I will teach the course Introduction to Bundled Modalities at NASSLLI25.

November 11th, 2024

Sub-panel of Beijing Forum on Logic and AI

I organized a subpanel on Logic and AI at Beijing Forum 2024 on Nov 3rd, featuring 4 excellent speakers: Beishui […]

November 10th, 2024

Workshop on Epistemic Logic on the ocassion of Prof. Hans van Ditmarsch’s visit to PKU

Check here for the program.

October 19th, 2024

New article about know-how based planning published in AIJ

In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning […]

September 11th, 2024

Listed as one of the Most Cited Chinese Researchers by Elsevier

I was listed as one of the Most Cited Chinese Researchers (in Philosophy) by Elsevier in 2023.

September 5th, 2024

2nd Prize of Outstanding Research Award (in Humanities and Social Sciences) of Chinese Universities

The award is given to my paper “A logic of goal-directed knowing how” published by Synthese.

June 19th, 2024

Joint paper accepted by AiML2024

The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.

June 19th, 2024

I am serving as an associate editor for JoLLI

Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.

March 10th, 2024

I will be teaching Bundled Modalities at ESSLLI24

Here is the preliminary page.