A Logic of Blockchain Updates.

Kai Brünnler Dandolo Flumini Thomas Studer

Published in: LFCS (2018)

Keyphrases

logic programming
classical logic
modal logic
databases
case study
multi valued
sound and complete axiomatization
natural language
logic programs
probabilistic logic
computational properties
digital circuits
predicate logic
epistemic logic
deontic logic
asynchronous circuits