Dynamic Logic

上传：IMWTJ 浏览： 10 推荐： 0 文件：PDF 大小：2.23MB 上传时间：2021-01-22 11:31:08 版权申诉

动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations of Computing)系列书之一,是动态逻辑领域最经典的教科书。