基于极限理论的ATMS研究_中文_期刊

基于极限理论的ATMS研究

更新时间：2019-05-21 访问次数：

关键词：命题逻辑　　模态逻辑　　极限　　ATMS

发明人：怀进鹏，张玉平

作者单位：北京航空航天大学计算机科学与工程系

内容提要：本文首先基于极限理论给出了ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而用可能世界的方法刻画出ＡＴＭＳ的环境类．

期刊名：计算机学报

期号：第1-12期

年份：1995

页数：657-665