南京大学学报（自然科学版）2008，Vol.44Issue(2)：171-178,8.
交互时态信念逻辑及其模型检测
Alternating-time temporal belief logic and its model checking
摘要
关键词
交互时态逻辑/并发博弈结构/模型检测/知识/信念分类
信息技术与安全科学引用本文复制引用
宁正元,胡山立,赖贤伟..交互时态信念逻辑及其模型检测[J].南京大学学报（自然科学版）,2008,44(2):171-178,8.基金项目
国家自然科学基金(60373079,60573076),中国科学院计算机科学重点实验室开放课题基金(SYSKF0505),福建省自然科学基金(2006J0299) （60373079,60573076）
