往届硕士毕业生
姓 名入学年份毕业年份毕业论文毕业去向
王 强20142017从《公孙龙子》到《墨经》:名家与墨家逻辑思想的一种当代解释继续读博
程莹莹20142017社会网络信息传递模式的知识逻辑建模中央文献研究室
李大柱20132017模态分体论清华大学读博
常 悦20132016公理化真理论研究综述苏宁电器总部
徐 超20132016“知道为何”的逻辑继续读博
万美文20122015形而上学奠基关系的结构性质研究
刘梓源20122015“知道如何”的形式刻画出国
吕相洋20122015基于依存语法的范畴类型逻辑研究
方 楠20122015Solovay函数与算法随机性出国
郑 植20122015一个新格赖斯主义的语用推理模型继续读博
王海若20112014论威廉姆森的容错边际原则继续读博
聂众乐20112014论证评价研究:基于对语用-论辩评价标准的分析中建五局/中建信和地产有限公司
陈 希20112014Alloy 与其在重复搏弈中的应用北京华夏幸福基业
李延军20102012—————————————硕博连读
王淑庆20092013基于ASP逻辑的偏好多语境系统南京大学读博
李昊翔20092012论高阶模糊性的元语言处理法出国
李 熙20082011对Chaitin型不完全性定理的考察继续读博
沙春燕20082011遵守规则问题中的怀疑论论证及其结论中国银行安徽省分行
陈星群20082010—————————————硕博连读
张文彦20072011修辞关系的形式语义学处理及其应用2013年读博
徐召清20072009—————————————硕博连读
刘 佳20062009哥德尔的本体论证明
朱 薇20062009偏好:从关系到逻辑2013年读博
王少辉20052008模型检测:原理与应用出国
程 勇20042007拓扑空间,模态语义,拓扑对应语言Lt:可表达性与可定义性出国
臧 勇20042007A-对象在一阶逻辑中的引入及其语义外哲读博
郭永盛20012004大卫·刘易斯模态实在论及其对应体理论初探2005年读博
陈 光20012004弗雷格与新弗雷格主义中国科学院科技政策与管理科学研究所读博
孟云剑20002003未来的行为:一种基于不确定性的行动逻辑首都图书馆
张立英20002002—————————————硕博连读
王广胜19972000意图一致的逻辑系统北京新浪信息技术有限公司
雷 煜19972000意识控制下的信念逻辑广州日报社
张 彤19951998Felscher的对话逻辑的基础及影响清华大学国际汉语培训项目
熊 明19951998哥德尔-根岑翻译和本体映射:古典逻辑本体论基础的初步探索华南师范大学政治与行政学院
霍全生19931996三值逻辑L-H系统的构造:兼论自指性悖论中国人民公安大学
孙卫民19911994模态逻辑中几个概念的发展北京市委党校
李瑞峰19911994知道逻辑初探
毛 翊19911994邻域语义学中国社会科学院
韩林合19871989—————————————转外哲所
李小五19861989一个非正统的归纳逻辑系统:L.J.科恩的归纳逻辑述评中国社会科学院哲学所
李振华19861989论刑侦逻辑中的或然性推理
沈 未19861989道义逻辑的历史和现状出国
邢滔滔19851988抽象逻辑Lindström定理及其应用继续读博
王政挺19841987逻辑,类型,体系:关于辩证逻辑类型的若干思考浙江师范大学哲学系
翟杰全19841987Tarski论形式化语言中的真概念及Kripke对此理论的发展北京理工大学人文与社会科学学院
谷振诣19841987论矛盾分析青年政治学院中文系
刘 怡19821985直觉主义的逻辑及其语义解释出国
周北海19821985Kripke的语义学及其一些哲学观点继续读博