3 citations · 3 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
A Logic of Blockchain Updates
Kai Brünnler, Dandolo Flumini, Thomas Studer
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchai…
cs.LO2017★ 3 cited
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…