您的位置：首页 >
讨论班与读书会（ML, PL, & LP）
- [2019-03-12][现代逻辑讨论班]张玉志、刘小山博士生报告讨论会
- [2018-12-28][哲学/逻辑读书会]概率动态认知逻辑
- [2018-12-13][哲学/逻辑读书会]非精确概率逻辑
- [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-06]9月7日熊作军报告: Towards a Logic of Tweeting
- [2017-06-27]6月28日南开大学软件学院姜桂飞报告
- [2017-06-12]6月16日中山大学副研究员孙鑫报告
- [2017-04-19]4月21日熊作军报告：A Logic of Positive and Negative Relations
- [2017-04-13]4月14日梁真报告：An axiomatisation for minimal social epistemic logic
- [2017-03-15]3月19日党学哲报告：基于语境依赖语义的公开宣告逻辑矢列演算系统
- [2017-03-06]3月10日侯丽平报告：探讨如何运用动态认知逻辑的方法研究信念修正
- [2016-11-17]11月25日熊作军报告：A Logic of Arbitrary Multicast-messages in Social Networks
- [2013-06-23]Katsuhiko Sano报告：Impossibility Theorem for Radical Inquisitive Semantics