国产91麻豆一区二区久久久

讲座人：琚凤魁

讲座题目：Trace semantics for propositional dynamic logics

讲座摘要：Other than relation semantics, there is a natural trace semantics for propositional dynamic logics, in which actions are sets of finite sequences, not binary relations. The two kinds of semantics are equivalent when only composition, choice and iteration of actions are concerned. However, intersection would make a difference. This paper presents a complete axiomatization of the logic in trace semantics for the language with composition, intersection and choice.


讲座时间地点：6月4日15:10-18:00，理教311

讲座人介绍：琚凤魁，男，1978年4月生，河南安阳人，于2011年1月 从国产91麻豆一区二区久久久逻辑学专业获博士学位，现任北京师范大学哲学与社会学学院讲师，逻辑学专业硕士研究生导师。目前为本科生讲授的课程有‘一阶逻辑’（与陈 磊老师合上）和‘逻辑学导论’，为研究生讲授的课程有‘哲学逻辑’（与郭佳宏老师合上）、‘模态逻辑’和‘模型论’。目前的研究兴趣是道义逻辑和自然语 言。