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.

Modal epistemic logic on contracts: a doctrinal approach / Bottoni, P.; Gorla, D.; Kasangian, S.; Labella, A.. - (2019), pp. 298-314. - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. [10.1007/978-3-030-21485-2_17].

Modal epistemic logic on contracts: a doctrinal approach

Bottoni P.;Gorla D.;Labella A.
2019

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.
2019
Models, Languages, and Tools for Concurrent and Distributed Programming
978-3-030-21484-5
978-3-030-21485-2
categorical logic; contracts; distributed knowledge; doctrines; epistemic logic; modal operators
02 Pubblicazione su volume::02a Capitolo o Articolo
Modal epistemic logic on contracts: a doctrinal approach / Bottoni, P.; Gorla, D.; Kasangian, S.; Labella, A.. - (2019), pp. 298-314. - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. [10.1007/978-3-030-21485-2_17].
File allegati a questo prodotto
File Dimensione Formato  
Bottoni_Modal_2019.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 381.77 kB
Formato Adobe PDF
381.77 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1355284
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact