A logic of blockchain updates[J] JOURNAL OF LOGIC AND COMPUTATION 2020(30) Brunnler, Kai Flumini, Dandolo Studer, Thomas
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