张玉芝;唐晓佳 完美回忆的时间认知逻辑。 （中文。英文摘要） 兹比尔1474.03073 J.软件。 31，第12号，3787-3796（2020）. 传统时间认知逻辑在表达完全回忆方面存在缺陷。它不能表达个人知识的记忆。在新系统（{mathrm{S5^tC^t}}）中，时间和知识被集成到一个操作符中，因此个人知识、一般知识和公共知识可以用一定的时间表示。通过这个简单的设置，每个代理（个人或组）都可以回忆起他们所有的历史知识和记忆。研究的主要结果是完备性，并且可以用正则模型证明（{mathrm{S5^tC^t}}）对于所有等价单调递减框架的类是完全的。 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 03B44号 时间逻辑 关键词：时间认知逻辑;完全回忆;召回公理 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{X.Tang}，J.Softw。31，第12号，3787--3796（2020；Zbl 1474.03073） 全文： 内政部