A logic of blockchain updates

DOI10.1093/logcom/exaa045OpenAlexW3088039095MaRDI QIDQ5140325

Kai Brünnler, Thomas Studer, Dandolo Flumini

Publication date: 15 December 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.01766

zbMATH Keywords

modal logicdynamic epistemic logicblockchain

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Modal and justification logics for multi-agent systems (invited talk)

This page was built for publication: A logic of blockchain updates