%0 Journal Article
%T 面向完美回忆的时态认知逻辑
%A 唐晓嘉
%A 张玉志
%J -
%D -1
%R 10.13328/j.cnki.jos.005888
%X 传统时态认知逻辑对完美回忆能力的刻画是狭隘的，并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中，个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体（群体）都可以完美回忆自己在之前所有时刻上的认知状态.利用典范模型技术可以证明，S5tCt系统在等价且单调递减的框架类上是完全的
%K 时态认知逻辑 S5tCt系统 完美回忆能力 记忆公理
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=5888&flag=1