佐兰·奥格尼亚诺维奇;Stepić，Angelina Ilić;阿列克桑达尔·佩罗维奇 概率时间认识逻辑。 arXiv公司：2105.12498 预打印，arXiv:2105.12498[math.LO]（2021）。 摘要：我们介绍了一种表达性概率时间认知逻辑PTEL，它适用于推理非刚性代理集的不确定性知识，这些代理集可以在时间内改变。我们将PTEL的语义定义为Kripke模型，该模型具有主体知识的认知可及性关系、描述系统可能运行的线性时间关系以及运行集上定义的概率函数。我们给出了PTEL的一个公理化，并给出了强完备性的证明。 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 03B44号 时间逻辑 03B48号 概率和归纳逻辑 68T27型 人工智能中的逻辑 BibTeX公司 引用 \textit{Z.Ognjanović}等人，“概率时间认识逻辑”，预印本，arXiv:2105.1248[math.LO]（2021） 全文： arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.