Zhuanghu Liu, Professor Emeritus
刘壮虎,教授 (退休),博士生导师
- 主要研究方向:符号逻辑,数学哲学,语言哲学。
- 学术成果
Beihai Zhou, Professor Emeritus
周北海,教授 (退休),博士生导师
- 主要研究方向:符号逻辑,语言哲学,心灵哲学。近年来的研究主要集中在非单调推理,以及认知与逻辑、自然语言形式语义学等逻辑应用方面。
- 学术成果
Taotao Xing, Professor
邢滔滔,教授,博士生导师
- 主要研究方向:符号逻辑,语言逻辑,数学哲学,语言哲学,心灵与认知科学哲学,宗教哲学。
- 学术成果
Yanjing Wang, Professor, Homepage
王彦晶,教授,博士生导师 个人主页
- 主要研究方向:模态逻辑的基础理论与应用(特别是一阶模态逻辑、非正规模态逻辑等),非经典逻辑、形式化知识论、理论计算机及AI中的逻辑等。
- 学术成果