A logic of blockchain updates[J] JOURNAL OF LOGIC AND COMPUTATION 2020(30) Brunnler, Kai Flumini, Dandolo Studer, Thomas
