Verovatnosne logike, 20. jun 2017.

Naredni sastanak Seminara biće održan u utorak, 20. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 16 časova.

Predavač: Thomas Studer, Institute for Informatics, University of Bern, President of the Swiss Society for Logic and Philosophy of Science

Naslov predavanja: BLOCKCHAIN LOGIC

Detaljnije: Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. In our talk, we present the basic principles and mechanisms of blockchains and discuss the need for various kinds of blockchain logics. Then we introduce BCL, an epistemic logic to reason about the belief change dynamics induced by blockchain updates. We establish soundness and completeness of BCL with respect to a simple blockchain model.



Nažalost nije moguće ostaviti komentar.