您的位置：首页 >
ILI讨论班与读书会（ML, PL, & LP）
- [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
- [2013-11-11林哲报告：Introduction to Proof Net
- [2011-11-22孙鑫报告：Conditional Ought, a Game Theoretical Perspective
- [2008-05-11崔建英报告：博弈与逻辑
- [2007-06-07萧瑶报告：更新逻辑和信念修正的联合系统