2019年11月16日16:30，北京大学王彦晶副教授在中心3203学术报告厅为广大师生带来一场精彩的学术报告。本次报告的主题是《On Axiomatizations of Dynamic Epistemic Logic》(动态认知逻辑的公理化）。

本次报告主要讨论了动态认知逻辑研究领域中的两个问题：首先，不带组合公理的公开宣告逻辑系统(Public announcement，简称PA系统) 及其相关变异系统是否完全。王彦晶老师研究团队通过另一种语义表明：PA及其大多数变体都是不完全的。

其次，在没有归约公理或不用归约方法证明完全性的情况下，我们能否也给出有意义的动态认知逻辑公理化系统呢？对此，受认知时态逻辑的启发，他把宣告算子当作一般意义上的模态算子，通过给宣告算子构造一个适当的可及关系，提出了一个一般的公理化方法，从而对这问题给出一个肯定的回答。

最后，王彦晶老师指出，这种一般的公理化方法反过来为传统的动态认知逻辑提供了很多洞见，让我们看清动态认知逻辑到底假设了什么，而归约只是一个巧合。
本次报告会由中心主任郭美云教授主持，中心成员李章吕副教授与20余名博士生、硕士生一起聆听了报告，并就相关问题与王彦晶副教授展开了深入讨论。

（西南大学逻辑与智能研究中心  安宇辉 供稿，李章吕 供图，郭美云 审核）