Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
From Tuscany to Scotland and Back Read chapter Read first chapter

2019 | OriginalPaper | Chapter

Modal Epistemic Logic on Contracts: A Doctrinal Approach

Authors : Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Problems related to the construction of consensus out of distributed knowledge have become actual again under a new perspective with the diffusion of distributed ledger techniques. In particular, when dealing with contracts, different observers must agree that a contract is in a certain state, even if not all transactions performed under the contract are observable by all of them. In this paper, we revisit previous work on algebraic modelling of labelled non-deterministic concurrent processes, which identified an intuitionistic modal/temporal logic associated with a categorical model. We expand this logic with typical epistemic operators in a categorical framework in order to encompass distributed knowledge to speak about transactions and contracts.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter From Behavioural Contracts to Session Types
next chapter Types for Progress in Actor Programs
Footnotes
1
Remember that, by definition, enbl\((hon)=\)enbl\((brc)=\emptyset \) for \(hon\in \)Hon\(,brc\in \)Brc.
 
2
Given a pullback square \(gq=fp\) in \(L_B\) and \(x\in {Sub(J)}\), the canonical morphisms \(g^*\forall _f(x)\rightarrow \forall _q{p}^*(x)\) and \(\exists _q{p}^*(x)\rightarrow {g}^*\exists _f(x)\) are iso.
 
Literature
1.
Azzopardi, S., Pace, G.J., Schapachnik, F.: On observing contracts: deontic contracts meet smart contracts. In: Palmirani, M. (ed.) Legal Knowledge and Information Systems - JURIX 2018, vol. 313, pp. 21–30. IOS Press (2018)
2.
Bernardo, M., De Nicola, R., Loreti, M.: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225, 29–82 (2013)MathSciNetCrossRef
3.
Bernardo, M., De Nicola, R., Loreti, M.: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1), 61–106 (2015)MathSciNetCrossRef
4.
Bottoni, P., Gorla, D., Kasangian, S., Labella, A.: A doctrinal approach to modal/temporal heyting logic and non-determinism in processes. Math. Struct. Comput. Sci. 28(4), 508–532 (2018)MathSciNetCrossRef
5.
Bottoni, P., Labella, A., Kasangian, S.: Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23(2), 91–102 (2012)CrossRef
6.
7.
De Nicola, R., Di Stefano, L., Inverso, O.: Toward formal models and languages for verifiable multi-robot systems. In: Front. Robotics and AI 2018 (2018)
8.
De Nicola, R., Gorla, D., Labella, A.: Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20, 319–358 (2010)MathSciNetCrossRef
9.
10.
11.
12.
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Presss, Cambridge (1995)MATH
13.
Hendricks, V., Symons, J.: Epistemic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2015 edn. (2015)
14.
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol. 1. Clarendon Press, Oxford (2002). autre tirage: 2008MATH
15.
Kasangian, S., Labella, A.: Observational trees as models for concurrency. Math. Struct. Comput. Sci. 9(6), 687–718 (1999)MathSciNetCrossRef
16.
Lawvere, B.: Equality in hyperdoctrines and the comprehension schema as an adjoint functor. In: Heller, A. (ed.) Applications of Categorical Algebra, Proceedings of Symposium in Pure Mathematics of the American Mathematical Society, No. 17, pp. 1–14 (1970)
17.
Magazzeni, D., McBurney, P., Nash, W.: Validation and verification of smart contracts: a research agenda. Computer 50(9), 50–57 (2017)CrossRef
18.
19.
20.
Uriarte, R.B., De Nicola, R.: Blockchain-based decentralized cloud/fog solutions: challenges, opportunities, and standards. IEEE Commun. Stand. Mag. 2(3), 22–28 (2018)CrossRef
Metadata
Title
Modal Epistemic Logic on Contracts: A Doctrinal Approach
Authors
Paolo Bottoni
Daniele Gorla
Stefano Kasangian
Anna Labella
Copyright Year
2019
Book
Models, Languages, and Tools for Concurrent and Distributed Programming

Print ISBN: 978-3-030-21484-5

Electronic ISBN: 978-3-030-21485-2

Copyright Year: 2019

DOI
https://doi.org/10.1007/978-3-030-21485-2_17

Premium Partner

    Image Credits