本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第一章是导论；第二～五章是本书研究的基础；第六～九章阐释了正则命题动态逻辑的形式系统、可判定性、接近性和计算复杂性；第十章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第十一～十七章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第十八章研究了从交流更新逻辑到命题动态逻辑的程序转换器。本书适合现代逻辑、计算机科学、人工智能和系统工程等领域以及对命题动态逻辑及其扩展系统感兴趣的教师、研究生和科研人员阅读。
张晓君，博士，研究员，四川师范大学逻辑与信息研究所所长、逻辑学硕士点负责人、“251重点人才”、。在《模式识别和人工智能》《计算机科学》等核心期刊发表学术论文50余篇；出版专著6部，主持重量课题5项
