计算机科学与探索2018，Vol.12Issue(11)：1843-1851,9.DOI:10.3778/j.issn.1673-9418.1709097
直觉主义认知逻辑ICDK
Intuitionistic Epistemic Logic ICDK
摘要
关键词
直觉主义认知逻辑/分布式知识/公共知识分类
信息技术与安全科学引用本文复制引用
徐京京..直觉主义认知逻辑ICDK[J].计算机科学与探索,2018,12(11):1843-1851,9.基金项目
The National Natural Science Foundation of China under Grant No. 61602249 (国家自然科学基金). （国家自然科学基金）
