2011年10月8日，由北京市逻辑学会、北京大学和清华大学主办的Logical Dynamics: New trends and interfaces会议在北京大学逻辑、语言和认知研究中心举行。来自海内外的多名逻辑学专家和学者就逻辑学的相关研究领域做了深入的交流和讨论，会议吸引了来自北大、清华和人大等北京多个高校的老师和同学参加。
来自西班牙塞维利亚大学的Hans van Ditmarsch教授做了题为“Five Ways of Quantifying over Information Change”的报告。 van Ditmarsch教授从公开宣告逻辑出发，介绍了几种不同的量化信息变化的方式。公开宣告逻辑所讨论的是在宣告某一个固定的公式?之后，公式?为真。对其做存在量化，则可以考虑任意的宣告。
清华大学的刘奋荣副教授报告的题目是“Reasoning about Agent Types”，其内容是与王彦晶老师合作的研究成果。刘教授以关于说谎者、说真话者的一个逻辑谜题出发，引出对主体类型的讨论；并给出了形式语言和形式语义，其能严格定义各种说话者的类型。并且，在该系统中，我们也可以讨论不同主体类型之间的关系：比如子类型、反类型等。另外，刘教授也给出了一些与主体类型推理有关的技术性结果。
来自新西兰Auckland 大学的Patrick Girard博士的报告是“A Product Model Construction for PDL”，其内容是与刘奋荣教授和Jeremy Seligman教授合作的成果。其基本策略是利用程序语言来改变原来模型的可及关系。而新的模型则是程序模型和原模型的乘积。Girard博士给出了该模型的完全公理化，特别是对程序模型的一组归约公理。
来自挪威Bergen大学的王轶博士报告的是“Dynamic Epistemic Logic and Distributed Knowledge”，其将分布式知识和公共知识做同等看待，在同一个系统中处理公开宣告，公共知识和分布式知识；并通过有穷典范模型的办法证明了其完全性和可判定性。
斯坦福大学的Tomohiro Hoshi博士报告的是“Failures of Uniform Substitutions - toward a systematic study of substitution cores”，其内容是与Wes Holliday和Thomas Icard合作的研究成果。众所周知，在公开宣告逻辑（PAL）中，统一代入原则（US）不有效。而Hoshi博士举了更多的US失效的例子。并且Hoshi等人已经证明了PAL的代入核是可判定的；而正在写做对其在一般化模型上的公理化的证明。
来自印度数理科学研究中心的Ram Ramanujam教授做了题为“Desiderata for Reasoning about Large Games”的报告。在报告中Jam教授介绍了他在大规模游戏中对推理进行刻画的研究。以往的Game理论中对推理的刻画总是会给出个体的集合，但这在大规模的游戏中显然是不可行的，Jam教授提出了利用量词对不确定数量的个体参加的大规模游戏进行刻画，并指出了在这一研究过程中可能会遇到的难题和大概的解决思路。
北京大学的苏开乐教授做了题为“An Epistemic Logic Approach to Verification of Security Protocol”的报告。与以前的以证伪的方式来验证安全协议的方式不同，在报告中，苏教授通过引入知识结构（knowledge structure）来分析交互过程中的安全协议，介绍了一种基于认知逻辑的方法以直接的方式来验证安全协议。把安全协议的验证归约为一个逻辑的可满足问题。
来自英国利物浦大学的Davide Grossi老师做了题为“Fixpoints and Iterated Announcements in Abstract Argumentation”的报告。在报告中展示了他对基于不动点理论解决系统化推论进行分析而得到的一些初步结果，从认知逻辑的角度来看待不动点逻辑和抽象化系统推论。这是一个涉及认知逻辑、不动点逻辑和抽象化的系统推论研究的交叉领域。
北京师范大学的琚凤魁老师做了题为“The Notion of Validity for Imperative Inferences”的报告。从直观上我们能感到有的涉及祈使句的推理是有效的，有的祈使句推理是无效的，但是因为祈使句没有真值，所以我们不能完全按照经典一阶逻辑来刻画祈使句推理。琚凤魁老师介绍了通过引入力结构和祈使力等概念克服了祈使句因为没有传统意义上的真值而难以刻画祈使句推理有效性的问题。
日本北海道大学的Tomoyuki Yamada教授做了题为“Dynamic Logics of Speech Acts as Formal Simulations of Social Interaction”的报告。过去的十几年中动态认知逻辑取得了较大的发展，出现了许多的动态认知逻辑系统，在报告中Yamada教授介绍了使用形式模拟（formal simulations）的手段来对不同的动态逻辑系统进行可用性比较的方法。并且借助形式模拟的方法可以使我们对这些逻辑系统的表现力加以改进和提高。
来自德国的Olivier Roy做了题为“Deontic Logic, Neighborhood Semantics and Games”的报告。在报告中Olivier Roy介绍了利用道义逻辑（Deontic Logic）可以对Game进行更加详细明确的刻画。道义逻辑不仅可以传统地应用在的刻画道德责任、允许等伦理概念上，也可以应用于刻画游戏模型的动态特点。
来自阿姆斯特丹大学和斯坦福大学的Johan van Benthem教授做了题为“Local Dynamics in Games”的报告。逻辑之所以能和游戏有许多的交叉领域在于逻辑可以很好刻画结构和推理，而游戏可以被看作是由逻辑进行刻画的模型。但是在传统的游戏理论中，由逻辑刻画的游戏模型实践起来可能存在潜在的空间爆炸危险，在报告中van Benthem教授介绍了模型的向前、向后归纳并提出了使之简化的想法，还提出了很多开放性问题。
会议促进了不同国家和地区的学术交流，加深了各个逻辑学研究者相互之间的了解，也向与会的老师和同学们展示了目前逻辑学研究的新方向和新领域。

（徐召清，李延军）