博扬·马里科维奇;保拉·格拉文;Ognjanović，佐兰;托马斯·施图德 一种具有非刚性代理集的时间认知逻辑，用于分析区块链协议。 （英语） Zbl 1442.68222号 J.日志。计算。 29，第5期，803-830（2019）. 摘要：在本文中，我们提供了一个时间认识逻辑的强完全公理化，其中允许非刚性代理集。使用该框架，我们证明了区块链协议关于给定公理和前提集的一些属性。 引用于6文件 MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 03B44号 时间逻辑 68T42型 Agent技术与人工智能 94A60型 密码学 关键词：多智能体系统;块链;时间认知逻辑;形式化模型;规范/验证 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人，J.Log。计算。29，第5号，803--830（2019；Zbl 1442.68222） 全文： 内政部 链接