From a logical point of view transient data state of the individual nodes of a Blockchain could be regarded as possible wolds of a modal logical system. In this sense it might make sense to write expressions with a specific modal logic to describe different characteristics of a smart contract or a specific consensus mechanism.
