Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
The Completeness Problem for Modal Logic Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

A Logic of Blockchain Updates

verfasst von : Kai Brünnler, Dandolo Flumini, Thomas Studer

Erschienen in: Logical Foundations of Computer Science

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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 are only few logic-based models for blockchains available. We introduce \(\mathsf {BCL}\), a dynamic logic to reason about blockchain updates, and show that \(\mathsf {BCL}\) is sound and complete with respect to a simple blockchain model.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Universal Algebra for the Variable-Free Fragment of
Nächstes Kapitel From Display to Labelled Proofs for Tense Logics
Fußnoten
1
We call this prinicple success; but it is not related to the notion of a successful formula as studied in dynamic epistemic logic, see, e.g., [8].
 
Literatur
1.
Antonopoulos, A.M.: Mastering Bitcoin: Unlocking Digital Crypto-Currencies. O’Reilly Media, Inc., Sebastopol (2014)
2.
3.
Brünnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. E-print 1707.01766. arXiv.​org (2017)
4.
Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046–1066 (2014)MathSciNetCrossRefMATH
5.
6.
Decker, C., Wattenhofer, R.: Information propagation in the Bitcoin network. In: 13th IEEE International Conference on Peer-to-Peer Computing, pp. 1–10 (2013)
7.
8.
9.
Grunspan, C., Pérez-Marco, R.: Double spend races. ArXiv e-prints 1702.02867 (2017)
10.
Halpern, J.H., Rafael, P.: A knowledge-based analysis of the blockchain protocol. In: Lang, K. (ed.) TARK 2017, pp. 324–335, no. 251 in EPTCS (2017)
11.
Herlihy, M., Moir, M.: Blockchains and the logic of accountability: keynote address. In: LICS 2016, pp. 27–30 (2016)
12.
Kokkinis, I., Maksimović, P., Ognjanović, Z., Studer, T.: First steps towards probabilistic justification logic. Logic J. IGPL 23(4), 662–687 (2015)MathSciNetCrossRef
13.
Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non Classical Logics 17(2), 231–253 (2007)MathSciNetCrossRefMATH
14.
15.
Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382–401 (1982)CrossRefMATH
16.
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2009)
17.
Renne, B.: Public communication in justification logic. J. Logic Comput. 21(6), 1005–1034 (2011). Published online July 2010MathSciNetCrossRefMATH
18.
19.
Steiner, D.: A system for consistency preserving belief change. In: Artemov, S., Parikh, R. (eds.) Proceedings of Rationality and Knowledge, 18th ESSLLI, pp. 133–144. Association for Logic, Language and Information (2006)
20.
21.
Metadaten
Titel
A Logic of Blockchain Updates
verfasst von
Kai Brünnler
Dandolo Flumini
Thomas Studer
Copyright-Jahr
2018
Buch
Logical Foundations of Computer Science

Print ISBN: 978-3-319-72055-5

Electronic ISBN: 978-3-319-72056-2

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-72056-2_7

Premium Partner

    Bildnachweise