带有非刚性代理集的时间认知逻辑，用于分析区块链协议

博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德(2019).一种具有非刚性代理集的时间认知逻辑，用于分析区块链协议。《逻辑与计算杂志》，29（5），第803-830页。牛津大学出版社10.1093/log.com/exz007

预览

文本
jlc子块链.pdf-接受的版本
在许可证下可用Publisher拥有版权。
下载（482kB）|预览

文本
exz007.pdf格式-已发布版本
仅限于注册用户
在许可证下可用Publisher拥有版权。
下载（552kB）|索取副本

在本文中，我们提供了一个时间认知逻辑的强完备公理化，其中允许非刚性代理集。使用
在这个框架中，我们证明了区块链协议关于给定公理和前提集的一些属性。

项目类型：	期刊文章（原文）
部门/机构：	08理学院>计算机科学研究所（INF）>逻辑与理论小组（LTG） 08理学院>计算机科学研究所（INF）
UniBE贡献者：	托马斯·施图德
学科：	000计算机科学、知识和系统 500科学>510数学
国际标准编号：	0955-792X号
出版商：	牛津大学出版社
语言：	英语
提交人：	内纳德·萨维奇
存款日期：	2019年10月14日16:23
上次修改时间：	2022年12月5日15:31
出版商DOI:	10.1093/log/exz007
BORIS内政部：	10.7892/博里斯133894
URI（URI）：	https://boris.unibe.ch/id/eprint/133894

编辑项目