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.
CITATION STYLE
Bottoni, P., Gorla, D., Kasangian, S., & Labella, A. (2019). Modal epistemic logic on contracts: A doctrinal approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11665 LNCS, pp. 298–314). Springer Verlag. https://doi.org/10.1007/978-3-030-21485-2_17
Mendeley helps you to discover research relevant for your work.