考研逻辑课程通常包括以下几种类型：

形式逻辑：

这是逻辑学的基础，研究命题的结构和推理规则。

命题逻辑：

研究命题及其之间的关系。

谓词逻辑：

研究含有量词（如“所有”、“存在”）的命题及其推理。

模态逻辑：

研究含有模态词（如“可能”、“必然”）的命题及其推理。

非经典逻辑：

包括直觉主义逻辑、多值逻辑等，研究非标准逻辑系统。

数学逻辑：

将逻辑原理应用于数学领域。

集合论：

研究集合及其关系。

模型论：

研究逻辑系统的模型。

递归论：

研究递归函数的性质。

证明论：

研究逻辑系统的证明方法。

哲学逻辑：

探讨逻辑与哲学的关系。

语义学：

研究命题和语句的意义。

语用学：

研究语言的实际使用。

认知逻辑：

研究认知过程与逻辑的关系。

辩证逻辑：

研究辩证思维中的逻辑。

其他相关课程：

如逻辑史、逻辑哲学、程序语言设计、操作系统等。

转型期课程：

如中国特色社会主义理论与实践研究、自然辩证法概论、马克思主义与社会科学方法论等。

专业核心课程：

如逻辑硕士必修课程（如一阶逻辑、现代逻辑基础、集合论等）。

方法实践类课程：

如哲学动态与评论、逻辑、语言与认知等。

交叉前沿类课程：

如博弈与逻辑选讲、数学哲学等。

这些课程旨在培养学生掌握逻辑学的基本理论和方法，并能进行深入的逻辑研究和应用。不同的学校和研究生项目可能会有不同的课程设置，具体可查看当年学校公布的招生专业目录。