A Logic of Blockchain Updates.

Kai Brünnler Dandolo Flumini Thomas Studer

Published in: CoRR (2017)

Keyphrases

multi valued
predicate logic
data sets
logic programming
modal logic
case study
computational properties
machine learning
social networks
automated reasoning
logical framework
classical logic
defeasible logic
truth values
update semantics
linear temporal logic