Date: 10 November 2021 (09:30-10:30)
Venue: Room 305, Renwen College, Zijingang Campus, Zhejiang University
Speaker: Xiaojun Zhang (Anhui University)
Title: 命题动态逻辑揽胜
Abstract: 动态逻辑是关于程序的多模态逻辑，是能够对程序进行形式化推理的多个程序逻辑的总称；命题动态逻辑是动态逻辑的子系统和基础系统，可以表征程序和独立于计算论域的命题之间的相互作用，在序列程序和系统的形式化表述和推理方面有着重要的作用，可以描述和验证程序的正确性、终止性和等价性等性质。