您的位置：首页 >
现代逻辑讨论班（Modern Logic Group）
- [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萧瑶报告：更新逻辑和信念修正的联合系统
- [2007-06-04张木春报告：带有偏好的博弈逻辑(GLP)
- [2007-05-25崔建英报告：“逻辑全知”问题与动态认知逻辑关系探究
- [2007-04-01蒋军利报告：带群体知识的更新逻辑