可以在这里下载，Gemini-generated podcast (请忽略”外国人试图说中文”的奇怪发音).
老师您好，听了您的”高阶模态逻辑”的部分课程，感觉有些吃力，尤其是在介绍k系统框架那一节，您阐述的对我来说太过抽象，一些符号表达我无法理解。 我是哲学专业学生，为提高专业素养，更好的阅读著作以及分析问题而学习逻辑学。我阅读了陈波老师的逻辑导论，并且拥有一些模态逻辑基础，主要是命题模态逻辑。 请问我还需要学习哪些内容才适合听您的这门课？以及请问贵校”哲学专业逻辑”课的教材是哪一本，我想自学一下。
模态逻辑的中文教材我推荐文学锋老师的模态逻辑教程。我们的哲学专业的逻辑没有固定教材，目前讲的也以一阶逻辑为主，以后可能会改革。
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.
Δ
See here for details.
I am happy to announce that the submission to special issue “Bundles in Logic” of Annals of Pure and Applied […]
Check the papers here: https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?AiML2026
Together with Natasha Alechina, Hans van Ditmarsch, and Ram Ramanujam, we organized a Lorentz Center workshop Bundles in Logic (Mar.23-27, […]
[Open letter from the outgoing editorial board of JPL. PDF version can be downloaded here] All Editors-in-Chief and Associate Editors […]
I will serve as a PC co-chair, alongside Marta Bílková, for the upcoming Advances in Modal Logic 2026, to be held at the […]
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.
老师您好，听了您的”高阶模态逻辑”的部分课程，感觉有些吃力，尤其是在介绍k系统框架那一节，您阐述的对我来说太过抽象，一些符号表达我无法理解。
我是哲学专业学生，为提高专业素养，更好的阅读著作以及分析问题而学习逻辑学。我阅读了陈波老师的逻辑导论，并且拥有一些模态逻辑基础，主要是命题模态逻辑。
请问我还需要学习哪些内容才适合听您的这门课？以及请问贵校”哲学专业逻辑”课的教材是哪一本，我想自学一下。
模态逻辑的中文教材我推荐文学锋老师的模态逻辑教程。我们的哲学专业的逻辑没有固定教材，目前讲的也以一阶逻辑为主，以后可能会改革。