{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:03:18Z","timestamp":1743022998930,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_14","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"176-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Multi-Agent Depth Bounded Boolean Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6779-4023","authenticated-orcid":false,"given":"Giorgio","family":"Cignarale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3264-7100","authenticated-orcid":false,"given":"Giuseppe","family":"Primiero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11098-010-9516-1","volume":"153","author":"P Allo","year":"2011","unstructured":"Allo, P.: The logic of \u2018being informed\u2019 revisited and revised. Philos. Stud. 153(3), 417\u2013434 (2011). https:\/\/doi.org\/10.1007\/s11098-010-9516-1","journal-title":"Philos. Stud."},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Classical Logics 17(2), 129\u2013155 (2007). https:\/\/doi.org\/10.3166\/jancl.17.129-155","journal-title":"J. Appl. Non-Classical Logics"},{"key":"14_CR3","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-030-33716-2_9","volume-title":"Trust Management XIII","author":"D Ceolin","year":"2019","unstructured":"Ceolin, D., Primiero, G.: A granular approach to source trustworthiness for negative trust assessment. In: Meng, W., Cofta, P., Jensen, C.D., Grandison, T. (eds.) IFIPTM 2019. IAICT, vol. 563, pp. 108\u2013121. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-33716-2_9"},{"key":"14_CR4","first-page":"3","volume":"11","author":"M D\u2019Agostino","year":"2013","unstructured":"D\u2019Agostino, M.: Depth-bounded logic for realistic agents. Logic Philos. Sci. 11, 3\u201357 (2013)","journal-title":"Logic Philos. Sci."},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"D\u2019Agostino, M.: Informational semantics, non-deterministic matrices and feasible deduction. In: Fern\u00e1ndez, M., Finger, M. (eds.) Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, S\u00e3o Paulo, Brazil, 2\u20133 September 2013, Electronic Notes in Theoretical Computer Science, vol. 305, pp. 35\u201352. Elsevier (2013). URL https:\/\/doi.org\/10.1016\/j.entcs.2014.06.004","DOI":"10.1016\/j.entcs.2014.06.004"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.3390\/info4010033","volume":"4","author":"M D\u2019Agostino","year":"2013","unstructured":"D\u2019Agostino, M.: Semantic information and the trivialization of logic: Floridi on the scandal of deduction. Information 4(1), 33\u201359 (2013). https:\/\/doi.org\/10.3390\/info4010033","journal-title":"Information"},{"key":"14_CR7","first-page":"407","volume":"227","author":"M D\u2019Agostino","year":"2014","unstructured":"D\u2019Agostino, M.: Analytic inference and the informational meaning of the logical operators. Logique Anal. 227, 407\u2013437 (2014)","journal-title":"Logique Anal."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2015.06.057","volume":"606","author":"M D\u2019Agostino","year":"2015","unstructured":"D\u2019Agostino, M.: An informational view of classical logic. Theor. Comput. Sci. 606, 79\u201397 (2015). https:\/\/doi.org\/10.1016\/j.tcs.2015.06.057","journal-title":"Theor. Comput. Sci."},{"key":"14_CR9","volume-title":"Handbook of Epistemic Logic","author":"H van Ditmarsch","year":"2015","unstructured":"van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B.: Handbook of Epistemic Logic. College Publications, London (2015)"},{"key":"14_CR10","volume-title":"Dynamic Epistemic Logic and Philosophy Of Science","author":"H Ditmarsch","year":"2007","unstructured":"Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic and Philosophy Of Science. Springer, Berlin (2007)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Floridi, L.: The logic of being informed. Logique et Analyse 49(196), 433\u2013460 (2006). http:\/\/www.jstor.org\/stable\/44085232","DOI":"10.2139\/ssrn.3845217"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10670-010-9249-8","volume":"74","author":"L Floridi","year":"2011","unstructured":"Floridi, L.: Semantic information and the correctness theory of truth. Erkenntnis 74(2), 147\u2013175 (2011). https:\/\/doi.org\/10.1007\/s10670-010-9249-8","journal-title":"Erkenntnis"},{"key":"14_CR13","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-07121-3_9","volume-title":"The Philosophy of Information Quality","author":"J Stegenga","year":"2014","unstructured":"Stegenga, J.: Information quality in clinical research. In: Floridi, L., Illari, P. (eds.) The Philosophy of Information Quality. SL, vol. 358, pp. 163\u2013182. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07121-3_9"},{"key":"14_CR14","unstructured":"Larese, C.: The principle of analyticity of logic, a philosophical and formal perspective. Ph.D. thesis, Scuola Normale Superiore, Classe di Scienze Umane (2019)"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Meyer, J.J.C., Hoek, W.v.d.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1995). https:\/\/doi.org\/10.1017\/CBO9780511569852","DOI":"10.1017\/CBO9780511569852"},{"issue":"200","key":"14_CR16","first-page":"391","volume":"50","author":"G Primiero","year":"2007","unstructured":"Primiero, G.: An epistemic constructive definition of information. Logique et Analyse 50(200), 391\u2013416 (2007)","journal-title":"Logique et Analyse"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Primiero, G.: An epistemic logic for becoming informed. Synthese 167(2), 363\u2013389 (2009). https:\/\/doi.org\/10.1007\/s11229-008-9413-8","DOI":"10.1007\/s11229-008-9413-8"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1080\/11663081.2020.1789404","volume":"30","author":"G Primiero","year":"2020","unstructured":"Primiero, G.: A logic of negative trust. J. Appl. Non Class. Logics 30(3), 193\u2013222 (2020). https:\/\/doi.org\/10.1080\/11663081.2020.1789404","journal-title":"J. Appl. Non Class. Logics"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s41109-017-0029-0","volume":"2","author":"G Primiero","year":"2017","unstructured":"Primiero, G., Raimondi, F., Bottone, M., Tagliabue, J.: Trust and distrust in contradictory information transmission. Appl. Netw. Sci. 2(1), 1\u201330 (2017). https:\/\/doi.org\/10.1007\/s41109-017-0029-0","journal-title":"Appl. Netw. Sci."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,11]],"date-time":"2022-12-11T22:25:35Z","timestamp":1670797535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}