Results
eNauka >
Results >
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
| Title: | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Authors: | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas |
Issue Date: | 2019 | Publication: | Journal of Logic and Computation | ISSN: | 0955-792X Journal of Logic and Computation Search Idenfier |
Publisher: | Oxford University Press | Type: | Article | Collation: | vol. 29 br. 5 str. 803-830 | DOI: | 10.1093/logcom/exz007 | WoS-ID: | 000493111600011 | Scopus-ID: | 2-s2.0-85072857801 | URI: | https://enauka.gov.rs/handle/123456789/150725 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2793 |
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 |
Metadata source: | Migracija | M-category: | 21M21 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.