{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:38:01Z","timestamp":1759639081467,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_17","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:04:18Z","timestamp":1562162658000},"page":"298-314","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modal Epistemic Logic on Contracts: A Doctrinal Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4662-2019","authenticated-orcid":false,"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8859-9844","authenticated-orcid":false,"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Kasangian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5405-5531","authenticated-orcid":false,"given":"Anna","family":"Labella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"17_CR1","unstructured":"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\u201330. IOS Press (2018)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.ic.2013.02.004","volume":"225","author":"M Bernardo","year":"2013","unstructured":"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\u201382 (2013)","journal-title":"Inf. Comput."},{"issue":"1","key":"17_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s00236-014-0210-1","volume":"52","author":"M Bernardo","year":"2015","unstructured":"Bernardo, M., De Nicola, R., Loreti, M.: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1), 61\u2013106 (2015)","journal-title":"Acta Informatica"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1017\/S0960129517000019","volume":"28","author":"P Bottoni","year":"2018","unstructured":"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\u2013532 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.jvlc.2011.11.006","volume":"23","author":"P Bottoni","year":"2012","unstructured":"Bottoni, P., Labella, A., Kasangian, S.: Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23(2), 91\u2013102 (2012)","journal-title":"J. Vis. Lang. Comput."},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-72056-2_7","volume-title":"Logical Foundations of Computer Science","author":"K Br\u00fcnnler","year":"2018","unstructured":"Br\u00fcnnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 107\u2013119. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72056-2_7"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.3389\/frobt.2018.00094"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1017\/S0960129509990272","volume":"20","author":"R Nicola De","year":"2010","unstructured":"De Nicola, R., Gorla, D., Labella, A.: Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20, 319\u2013358 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/S1571-0661(05)80249-X","volume":"18","author":"R Nicola De","year":"1998","unstructured":"De Nicola, R., Labella, A.: Tree morphisms and bisimulations. Electr. Notes Theor. Comput. Sci. 18, 46\u201364 (1998)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R Nicola De","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Logic 5(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2","key":"17_CR11","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM 42(2), 458\u2013487 (1995)","journal-title":"J. ACM"},{"key":"17_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Presss, Cambridge (1995)"},{"key":"17_CR13","unstructured":"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)"},{"key":"17_CR14","series-title":"Oxford Logic Guides","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol. 1. Clarendon Press, Oxford (2002). autre tirage: 2008"},{"issue":"6","key":"17_CR15","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1017\/S0960129599002935","volume":"9","author":"S Kasangian","year":"1999","unstructured":"Kasangian, S., Labella, A.: Observational trees as models for concurrency. Math. Struct. Comput. Sci. 9(6), 687\u2013718 (1999)","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"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\u201314 (1970)","DOI":"10.1090\/pspum\/017\/0257175"},{"issue":"9","key":"17_CR17","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2017.3571045","volume":"50","author":"D Magazzeni","year":"2017","unstructured":"Magazzeni, D., McBurney, P., Nash, W.: Validation and verification of smart contracts: a research agenda. Computer 50(9), 50\u201357 (2017)","journal-title":"Computer"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"issue":"2","key":"17_CR19","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3166\/jancl.17.255-273","volume":"17","author":"F Roelofsen","year":"2007","unstructured":"Roelofsen, F.: Distributed knowledge. J. Appl. Non-Class. Logics 17(2), 255\u2013273 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"3","key":"17_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MCOMSTD.2018.1800020","volume":"2","author":"RB Uriarte","year":"2018","unstructured":"Uriarte, R.B., De Nicola, R.: Blockchain-based decentralized cloud\/fog solutions: challenges, opportunities, and standards. IEEE Commun. Stand. Mag. 2(3), 22\u201328 (2018)","journal-title":"IEEE Commun. Stand. Mag."}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T15:51:05Z","timestamp":1721490665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}