A logic of blockchain updates-Reference-Cited by-同舟云学术

A logic of blockchain updates

Published:2020-09-25 Issue:8 Volume:30 Page:1469-1485
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Brünnler Kai¹,Flumini Dandolo²,Studer Thomas³

Affiliation:

1. Bern University of Applied Sciences, Abt. Informatik, 2502 Biel, Switzerland

2. ZHAW School of Engineering, Forschungsscshwerpunkt Applied Complex Systems Science, 8400 Winterthur, Switzerland

3. University of Bern, Institute of Computer Science, 3012 Bern, Switzerland

Abstract

Abstract Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce $\mathsf{BCL}$, a dynamic logic to reason about blockchain updates, and show that $\mathsf{BCL}$ is sound and complete with respect to a simple blockchain model.

Funder

Swiss National Science Foundation

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/30/8/1469/34673218/exaa045.pdf

Reference26 articles.

1. Explicit provability and constructive semantics;Artemov;Bulletin of Symbolic Logic,2001

2. Justification Logic

3. A logic of blockchain updates;Brünnler,2018

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Axiomatization of Blockchain Theory;Mathematics;2023-07-03

2. Modal and Justification Logics for Multi-agent Systems (Invited Talk);Lecture Notes in Computer Science;2023

3. Coalition Logic for Specification and Verification of Smart Contract Upgrades;PRIMA 2022: Principles and Practice of Multi-Agent Systems;2022-11-12

4. A Probabilistic Temporal Epistemic Logic: Strong Completeness;Logic Journal of the IGPL;2022-10-31

5. Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges;2022 6th Cyber Security in Networking Conference (CSNet);2022-10-24