2024年12月13日上午9:30-11:00，中心开展了2024年秋季学期第八次现代逻辑讨论班活动。中心博士研究生彭海琪在此次讨论班上带来了关于动态认知逻辑与时态认知逻辑模型相互转化研究的报告，博士研究生孙晴、韩琳琳、潘易欣、单成、郑怡，硕士研究生董振璐参与了这次讨论班。

首先报告人介绍了动态认知逻辑（Dynamic Epistemic Logic, DEL）和时态认知逻辑（Epistemic Temporal Logic, ETL）的相互转化：从DEL到ETL的转化是在认知模型中加入DEL协议从而生成ETL模型，从ETL到DEL的转化则要求ETL模型满足命题不变性、函数性、“完美回忆”和“没有奇迹”等条件。ETL向DEL的转化为动态认知逻辑的研究提供了新的思路。公开宣告逻辑的标准的公理化系统使用了归约公理，但是普遍代入规则在包含认知算子的归约公理中不成立。为了弥补标准公开宣告逻辑的不足，参考ETL向DEL转化的条件，公开宣告逻辑有了新的研究角度。

接下来报告人介绍了Y. Wang和Q. Cao（2013）为公开宣告逻辑定义的新的辅助语义，其将公开宣告算子解释为可能世界之间的转换关系，该语义下的正规扩展模型满足ETL向DEL转化的条件。公开宣告逻辑的公理化系统PAN不包含归约公理，且相对于标准语义是可靠且完全的。

（郑怡/图 彭海琪/文 熊作军/审核 彭子骄/发布)