Pregled bibliografske jedinice broj: 1001926
A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol
A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol // Journal of logic and computation, exz007, 29 (2019), 5; 803-830 doi:https://.org/10.1093/logcom/exz007 (međunarodna recenzija, članak, ostalo)
CROSBI ID: 1001926 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
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
Izvornik
Journal of logic and computation (0955-792X) Exz007, 29
(2019), 5;
803-830
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, ostalo
Ključne riječi
multi-agent systems, blockchain, temporal epistemic logic, formal model, specification/verification
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
