| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Marinković, Bojan | en_US |
| dc.contributor.author | Glavan, Paola | en_US |
| dc.contributor.author | Ognjanović, Zoran | en_US |
| dc.contributor.author | Studer, Thomas | en_US |
| dc.date.accessioned | 2020-06-03T06:47:11Z | - |
| dc.date.available | 2020-06-03T06:47:11Z | - |
| dc.date.issued | 2019-09-01 | - |
| dc.identifier.issn | 0955-792X | - |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2793 | - |
| dc.description.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. | en_US |
| dc.publisher | Oxford University Press | en_US |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation | 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 | - |
| dc.relation | Justifications and non-classical reasoning | - |
| dc.relation.ispartof | Journal of Logic and Computation | en_US |
| dc.subject | blockchain | formal model | Multi-agent systems | specification/verification | temporal epistemic logic | en_US |
| dc.title | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | en_US |
| dc.type | Article | en_US |
| dc.identifier.doi | 10.1093/logcom/exz007 | - |
| dc.identifier.scopus | 2-s2.0-85072857801 | - |
| dc.relation.firstpage | 803 | - |
| dc.relation.lastpage | 830 | - |
| dc.relation.issue | 5 | - |
| dc.relation.volume | 29 | - |
| dc.description.rank | M21 | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Article | - |
| item.cerifentitytype | Publications | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.fundingProgram | NATIONAL HEART, LUNG, AND BLOOD INSTITUTE | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04 | - |
| crisitem.author.orcid | 0000-0002-9533-0330 | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
15
checked on Nov 23, 2024
Page view(s)
28
checked on Nov 23, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.