陕西师范大学学报（自然科学版）2013，Vol.41Issue(6)：6-11,6.
可能性测度下计算树逻辑的若干性质
Some properties of computation tree logic under possibility measure
摘要
关键词
计算树逻辑/可能的Kripke结构/等价性/定性性质/定量性质Key words
computation tree logic/possibilistic Kripke structure/equivalence property/qualitative property/quantitative property分类
信息技术与安全科学引用本文复制引用
李亚利,李永明..可能性测度下计算树逻辑的若干性质[J].陕西师范大学学报（自然科学版）,2013,41(6):6-11,6.基金项目
国家自然科学基金资助项目(11271237,61228305) （11271237,61228305）
中央高校基本科研业务费专项资金项目(GK201001003). （GK201001003）
