Showing cs.LOShow 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.LO2010
Nested Sequents
Kai Brünnler
We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, suc…