A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Bojan Marinković, Paola Glavan, Zoran Ognjanović, Thomas Studer · Journal of Logic and Computation · 2019
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.