研究领域 查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) 哲学逻辑特别是认知逻辑,动态逻辑,直觉主义逻辑;逻辑哲学与数学哲学特别是与逻辑、数学基础相关的形而上学问题;广义量词;模态逻辑的元理论特别是模态语言的表达力问题;数理逻辑发展史。