您的位置：首页 >
讨论班与读书会（ML, PL, & LP）
- [2018-11-07[现代逻辑讨论班]谭雪叶博士生报告：哲学逻辑与人工智能
- [2018-10-31[讨论班&读书会]王春丽博士生与张冒玲硕士生报告
- [2018-09-27[现代逻辑讨论班]董淑亮硕士生报告：基于有名字世界的联盟逻辑
- [2018-09-19[现代逻辑讨论班]张玉志博士生报告：一个时态认知逻辑的新系统——基于对认知算子的时态化处理
- [2018-04-27[哲学/逻辑读书会]可计算性逻辑介绍
- [2018-03-25[哲学/逻辑读书会]“逻辑真”读书会活动及预告
- [2017-11-23混合逻辑预备课程简介与安排
- [2017-09-25[哲学／逻辑读书会]真与逻辑真
- [2017-09-069月7日熊作军报告: Towards a Logic of Tweeting
- [2017-06-276月28日南开大学软件学院姜桂飞报告
- [2017-06-126月16日中山大学副研究员孙鑫报告
- [2017-04-194月21日熊作军报告：A Logic of Positive and Negative Relations
- [2017-04-134月14日梁真报告：An axiomatisation for minimal social epistemic logic
- [2017-03-153月19日党学哲报告：基于语境依赖语义的公开宣告逻辑矢列演算系统
- [2017-03-063月10日侯丽平报告：探讨如何运用动态认知逻辑的方法研究信念修正
- [2016-11-1711月25日熊作军报告：A Logic of Arbitrary Multicast-messages in Social Networks
- [2013-06-23Katsuhiko Sano报告：Impossibility Theorem for Radical Inquisitive Semantics
- [2014-12-22范杰报告：Almost Necessary（“几乎必然”）
- [2008-12-22王轶报告：混合语言下的空间逻辑
- [2014-01-03王善侠报告：Lattice-graded Modal Logics