A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol[J] JOURNAL OF LOGIC AND COMPUTATION 2019(29) Marinkovic, Bojan Glavan, Paola Ognjanovic, Zoran Studer, Thomas
