{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:44:42Z","timestamp":1725921882514},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_7","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:33:31Z","timestamp":1511757211000},"page":"107-119","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Logic of Blockchain Updates"],"prefix":"10.1007","author":[{"given":"Kai","family":"Br\u00fcnnler","sequence":"first","affiliation":[]},{"given":"Dandolo","family":"Flumini","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"7_CR1","volume-title":"Mastering Bitcoin: Unlocking Digital Crypto-Currencies","author":"AM Antonopoulos","year":"2014","unstructured":"Antonopoulos, A.M.: Mastering Bitcoin: Unlocking Digital Crypto-Currencies. O\u2019Reilly Media, Inc., Sebastopol (2014)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"SN Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bullet. Symbolic Logic 7(1), 1\u201336 (2001)","journal-title":"Bullet. Symbolic Logic"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Br\u00fcnnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. E-print 1707.01766. arXiv.org (2017)","DOI":"10.1007\/978-3-319-72056-2_7"},{"issue":"6","key":"7_CR4","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1016\/j.jcss.2014.04.001","volume":"80","author":"S Bucheli","year":"2014","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046\u20131066 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR5","unstructured":"Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2013). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper . Accessed 2 Feb 2017"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Decker, C., Wattenhofer, R.: Information propagation in the Bitcoin network. In: 13th IEEE International Conference on Peer-to-Peer Computing, pp. 1\u201310 (2013)","DOI":"10.1109\/P2P.2013.6688704"},{"key":"7_CR7","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H Ditmarsch van","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151(2), 201\u2013232 (2006)","journal-title":"Synthese"},{"key":"7_CR9","unstructured":"Grunspan, C., P\u00e9rez-Marco, R.: Double spend races. ArXiv e-prints 1702.02867 (2017)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Halpern, J.H., Rafael, P.: A knowledge-based analysis of the blockchain protocol. In: Lang, K. (ed.) TARK 2017, pp. 324\u2013335, no. 251 in EPTCS (2017)","DOI":"10.4204\/EPTCS.251.22"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moir, M.: Blockchains and the logic of accountability: keynote address. In: LICS 2016, pp. 27\u201330 (2016)","DOI":"10.1145\/2933575.2934579"},{"issue":"4","key":"7_CR12","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","volume":"23","author":"I Kokkinis","year":"2015","unstructured":"Kokkinis, I., Maksimovi\u0107, P., Ognjanovi\u0107, Z., Studer, T.: First steps towards probabilistic justification logic. Logic J. IGPL 23(4), 662\u2013687 (2015)","journal-title":"Logic J. IGPL"},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B Kooi","year":"2007","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non Classical Logics 17(2), 231\u2013253 (2007)","journal-title":"J. Appl. Non Classical Logics"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-35722-0_19","volume-title":"Logical Foundations of Computer Science","author":"R Kuznets","year":"2013","unstructured":"Kuznets, R., Studer, T.: Update as evidence: belief expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 266\u2013279. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35722-0_19"},{"issue":"3","key":"7_CR15","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR16","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2009)"},{"issue":"6","key":"7_CR17","doi-asserted-by":"crossref","first-page":"1005","DOI":"10.1093\/logcom\/exq026","volume":"21","author":"B Renne","year":"2011","unstructured":"Renne, B.: Public communication in justification logic. J. Logic Comput. 21(6), 1005\u20131034 (2011). Published online July 2010","journal-title":"J. Logic Comput."},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-662-47854-7_32","volume-title":"Financial Cryptography and Data Security","author":"Y Sompolinsky","year":"2015","unstructured":"Sompolinsky, Y., Zohar, A.: Secure high-rate transaction processing in bitcoin. In: B\u00f6hme, R., Okamoto, T. (eds.) FC 2015. LNCS, vol. 8975, pp. 507\u2013527. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47854-7_32"},{"key":"7_CR19","unstructured":"Steiner, D.: A system for consistency preserving belief change. In: Artemov, S., Parikh, R. (eds.) Proceedings of Rationality and Knowledge, 18th ESSLLI, pp. 133\u2013144. Association for Logic, Language and Information (2006)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-72734-7_35","volume-title":"Logical Foundations of Computer Science","author":"D Steiner","year":"2007","unstructured":"Steiner, D., Studer, T.: Total public announcements. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 498\u2013511. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72734-7_35"},{"key":"7_CR21","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger, EIP-150 revision (2017). https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf . Accessed 2 Feb 2017"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T17:30:18Z","timestamp":1570383018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}