模态逻辑方向:主要研究非正规命题模态逻辑及一阶模态逻辑可判定片段的各种理论及应用问题。人工智能的逻辑方向:主要研究有人工智能背景的逻辑及其理论及计算问题,包括如下方向:知识表示及推理,基于不确定性的自动化规划以及多主体系统等。特别欢迎有计算机背景的同学报考。
量子逻辑方向:主要研究作为量子系统的数学模型的数学结构,以及使用形式语言描述这些数学结构而产生的可定义性、公理化等问题,也研究逻辑学在量子计算与量子信息领域的应用。自选方向:在导师有兴趣有能力指导的前提下,考生自选非经典逻辑(含直觉主义逻辑、弗协调逻辑、多值逻辑等)、格论、模态逻辑等方向的题目。