课程将由九次报告组成，涵盖一系列与逻辑学相关的主题。以下为前五次报告的题目与主讲人：

第一次报告

题目：向量空间模型的逻辑（On the Logic of Vector Space Models）

主讲人： Hannes Leitgeb is Chair of Logic and Philosophy of Language at LMU Munich, where he also co-directs the Munich Center of Mathematical Philosophy.

第二次报告

题目： 信念基础集的重新审视（Rethinking Epistemic Logic with Belief Bases）

主讲人：  Emiliano Lorini is a senior researcher ("directeur de recherche") at the Centre National de la Recherche Scientifique (CNRS), co-head of the LiLaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).

第三次报告

题目： STIT理论中的反事实条件句（Counterfactuals in stit with action types）

主讲人： Eric Pacuit is an associate professor in the Department of Philosophy at the University of Maryland. 

第四次报告

题目： 混合逻辑的推理与完全性 （Reasoning and Completeness in Hybrid Logic）

主讲人：Patrick Blackburn is a professor of philosophy at Roskilde University (RUC) in Denmark. 

第五次报告

题目： 论博弈逻辑（On Game Logics）

主讲人：Sujata Ghosh is an Associate Professor at the Computer Science Unit of the Indian Statistical Institute, Chennai (ISI, Chennai).