Вероватносне логике, 20. јун 2017.

Наредни састанак Семинара биће одржан у уторак, 20. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 16 часова.

Предавач: Thomas Studer, Institute for Informatics, University of Bern, President of the Swiss Society for Logic and Philosophy of Science

Наслов предавања: BLOCKCHAIN LOGIC

Апстракт: 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.