Page 130 - 《软件学报》2020年第12期

3796 Journal of Software 软件学报 Vol.31, No.12, December 2020

附中文参考文献:
[12] 吴立军,苏开乐.多智体系统时态认知规范的模型检测算法.软件学报,2004,15(7):1012−1020. http://www.jos.org.cn/1000-9825/
15/1012.htm
[13] 骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智体系统的时态认知逻辑.软件学报,2006,17(12):2485−2498. http://www.jos.org.
cn/1000-9825/17/2485.htm
[14] 骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报,2010,33(3):406−414.
[15] Frege G,著;王路,译.弗雷格哲学论著选辑.北京:商务印书馆,2006.128.
[16] Haack S,著;罗毅,译.逻辑哲学.北京:商务印书馆,2003.193−200.

张玉志(1988－),男,博士生,CCF 专业会 唐晓嘉(1954－),女,教授,博士生导师,主
员,主要研究领域为时态逻辑,认知逻辑. 要研究领域为逻辑哲学,动态认知逻辑.