| 姓名 | 入学年份 |
毕业年份
|
毕业论文 | 毕业去向 |
| 曾德坤 | 2020 | 2023 | 自动机视角下的规划模型 | 北京互联网公司产品/策划岗 |
| 洪 博 | 2020 | 2023 | 知道值逻辑及其推广研究 | 继续读博 |
| 林凯杨 | 2019 | 2022 | 关于“知道值”的知识时态逻辑研究 | 嘉兴市公务员 |
| 刘力恺 | 2019 | 2022 | 超越Γ0：基于王浩思想拓展直谓主义 | 继续读博 |
| 王昊玉 | 2019 | 2022 | 作为知识逻辑的询问逻辑 | 继续读博 |
| 曾 图 | 2018 | 2023 | 为什么图灵机定义了计算？ | 北京圆择科技有限公司 |
| 秦云飞 | 2018 | 2022 | 圆柱空间及其在一阶模型论中的应用 | |
| 魏 来 | 2018 | 2021 | Gibbard-Satterthwaite定理的逻辑刻画 | 深圳中学 |
| 王一廷 | 2018 | 2021 | 知识逻辑视角下的零知识证明 | 继续读博 |
| 刘诗霄 | 2017 | 2020 | Haag定理及其现有证明 | 出国新加坡国立大学读博 |
| 陈至诚 | 2017 | 2020 | 相对化一阶逻辑与ZFC- \Delta_0 片段的公理化 | 继续读博 |
| 刘 默 | 2016 | 2019 | 一些一阶模态逻辑打包片段的判定性问题研究 | 出国法国洛林国家实验室读博 |
| 方静芝 | 2016 | 2019 | 实际因果的公理化 | 香港岭南大学读博 |
| 邢启磊 | 2016 | 2019 | 抽象原则的“良莠不齐”问题 | 中共青岛市委 |
| 苏兴池 | 2015 | 2018 | 基于“知道是否”的分布式知识和公共知识研究 | 出国荷兰格罗宁根大学读博 |
| 王 强 | 2014 | 2017 | 从《公孙龙子》到《墨经》：名家与墨家逻辑思想的一种当代解释 | 继续读博 |
| 程莹莹 | 2014 | 2017 | 社会网络信息传递模式的知识逻辑建模 | 中央文献研究室 |
| 李大柱 | 2013 | 2017 | 模态分体论 | 清华大学哲学系读博 |
| 常 悦 | 2013 | 2016 | 公理化真理论研究综述 | 苏宁电器总部 |
| 徐 超 | 2013 | 2016 | “知道为何”的逻辑 | 继续读博 |
| 万美文 | 2012 | 2015 | 形而上学奠基关系的结构性质研究 | |
| 刘梓源 | 2012 | 2015 | “知道如何”的形式刻画 | 出国读博 |
| 吕相洋 | 2012 | 2015 | 基于依存语法的范畴类型逻辑研究 | |
| 方 楠 | 2012 | 2015 | Solovay函数与算法随机性 | 出国海德堡大学读博，现任职中科院软件所 |
| 郑 植 | 2012 | 2015 | 一个新格赖斯主义的语用推理模型 | 继续读博 |
| 王海若 | 2011 | 2014 | 论威廉姆森的容错边际原则 | 继续读博 |
| 聂众乐 | 2011 | 2014 | 论证评价研究：基于对语用－论辩评价标准的分析 | 中建五局/中建信和地产有限公司 |
| 陈 希 | 2011 | 2014 | Alloy 与其在重复搏弈中的应用 | 北京华夏幸福基业 |
| 李延军 | 2010 | 2012 | ————————————— | 硕博连读 |
| 王淑庆 | 2009 | 2013 | 基于ASP逻辑的偏好多语境系统 | 南京大学读博 |
| 李昊翔 | 2009 | 2012 | 论高阶模糊性的元语言处理法 | 出国 |
| 李 熙 | 2008 | 2011 | 对Chaitin型不完全性定理的考察 | 继续读博 |
| 沙春燕 | 2008 | 2011 | 遵守规则问题中的怀疑论论证及其结论 | 中国银行安徽省分行 |
| 陈星群 | 2008 | 2010 | ————————————— | 硕博连读 |
| 张文彦 | 2007 | 2011 | 修辞关系的形式语义学处理及其应用 | 2013年读博 |
| 徐召清 | 2007 | 2009 | ————————————— | 硕博连读 |
| 刘 佳 | 2006 | 2009 | 哥德尔的本体论证明 | |
| 朱 薇 | 2006 | 2009 | 偏好：从关系到逻辑 | 2013年读博 |
| 王少辉 | 2005 | 2008 | 模型检测：原理与应用 | 出国 |
| 程 勇 | 2004 | 2007 | 拓扑空间，模态语义，拓扑对应语言Lt：可表达性与可定义性 | 出国新加坡国立大学读博，现任武汉大学哲学院教授 |
| 臧 勇 | 2004 | 2007 | A-对象在一阶逻辑中的引入及其语义 | 外哲读博 |
| 郭永盛 | 2001 | 2004 | 大卫·刘易斯模态实在论及其对应体理论初探 | 2005年读博 |
| 陈 光 | 2001 | 2004 | 弗雷格与新弗雷格主义 | 中国科学院科技政策与管理科学研究所读博 |
| 孟云剑 | 2000 | 2003 | 未来的行为：一种基于不确定性的行动逻辑 | 首都图书馆 |
| 张立英 | 2000 | 2002 | ————————————— | 硕博连读 |
| 王广胜 | 1997 | 2000 | 意图一致的逻辑系统 | 北京新浪信息技术有限公司 |
| 雷 煜 | 1997 | 2000 | 意识控制下的信念逻辑 | 广州日报社 |
| 张 彤 | 1995 | 1998 | Felscher的对话逻辑的基础及影响 | 清华大学国际汉语培训项目 |
| 熊 明 | 1995 | 1998 | 哥德尔-根岑翻译和本体映射：古典逻辑本体论基础的初步探索 | 华南师范大学政治与行政学院 |
| 霍全生 | 1993 | 1996 | 三值逻辑L-H系统的构造：兼论自指性悖论 | 中国人民公安大学 |
| 孙卫民 | 1991 | 1994 | 模态逻辑中几个概念的发展 | 北京市委党校 |
| 李瑞峰 | 1991 | 1994 | 知道逻辑初探 | |
| 毛 翊 | 1991 | 1994 | 邻域语义学 | 中国社会科学院 |
| 韩林合 | 1987 | 1989 | ————————————— | 转外哲所 |
| 李小五 | 1986 | 1989 | 一个非正统的归纳逻辑系统：L.J.科恩的归纳逻辑述评 | 中国社会科学院哲学所 |
| 李振华 | 1986 | 1989 | 论刑侦逻辑中的或然性推理 | |
| 沈 未 | 1986 | 1989 | 道义逻辑的历史和现状 | 出国 |
| 邢滔滔 | 1985 | 1988 | 抽象逻辑Lindström定理及其应用 | 继续读博 |
| 王政挺 | 1984 | 1987 | 逻辑，类型，体系：关于辩证逻辑类型的若干思考 | 浙江师范大学哲学系 |
| 翟杰全 | 1984 | 1987 | Tarski论形式化语言中的真概念及Kripke对此理论的发展 | 北京理工大学人文与社会科学学院 |
| 谷振诣 | 1984 | 1987 | 论矛盾分析 | 青年政治学院中文系 |
| 刘 怡 | 1982 | 1985 | 直觉主义的逻辑及其语义解释 | 出国 |
| 周北海 | 1982 | 1985 | Kripke的语义学及其一些哲学观点 | 继续读博 |