Authors: Marinković, Bojan 
Glavan, Paola
Ognjanović, Zoran 
Studer, Thomas
Title: A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Journal: Journal of Logic and Computation
Volume: 29
Issue: 5
First page: 803
Last page: 830
Issue Date: 1-Sep-2019
Rank: M21
ISSN: 0955-792X
DOI: 10.1093/logcom/exz007
In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which non-rigid sets of agents are allowed. Using this framework, we prove a number of properties of the blockchain protocol with respect to the given set of axioms and premises.
Keywords: blockchain | formal model | Multi-agent systems | specification/verification | temporal epistemic logic
Publisher: Oxford University Press
Project: Representations of logical structures and formal languages and their application in computing 
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education 
Justifications and non-classical reasoning 

Show full item record


checked on Jun 15, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.