A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol (CROSBI ID 265001)
Prilog u časopisu | ostalo | međunarodna recenzija
Podaci o odgovornosti
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran ; Studer, Thomas
engleski
A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol
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.
multi-agent systems, blockchain, temporal epistemic logic, formal model, specification/verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
exz007, 29 (5)
2019.
803-830
objavljeno
0955-792X
1465-363X
https://doi.org/10.1093/logcom/exz007
Povezanost rada
Matematika, Računarstvo