A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol

Results

Naziv:	A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Autori:	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas
Godina:	2019
Publikacija:	Journal of Logic and Computation
ISSN:	0955-792X Journal of Logic and Computation Pretraži identifikator
Izdavač:	Oxford University Press
Tip rezultata:	Naučni članak
Kolacija:	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
Projekat:	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
Izvor metapodataka:	Migracija
M-kategorija:	21M21 - Vodeći međunarodni časopis kategorije M21

15
SCOPUS^TM

10
OpenCitations

10
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall