| 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 | Abstract: | 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
SCOPUSTM
Citations
15
checked on Nov 24, 2024
Page view(s)
28
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.