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

【Author】 Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Studer, Thomas

【Source】JOURNAL OF LOGIC AND COMPUTATION

【影响因子】0.509

【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.

【Keywords】Multi-agent systems; blockchain; temporal epistemic logic; formal model; specification/verification

【发表时间】2019 SEP

【收录时间】2022-01-02

【文献类型】

【主题类别】

--