{"id":"https://openalex.org/W4411327359","doi":"https://doi.org/10.1093/logcom/exaf028","title":"A logical perspective on intending to keep a true secret","display_name":"A logical perspective on intending to keep a true secret","publication_year":2025,"publication_date":"2025-06-11","ids":{"openalex":"https://openalex.org/W4411327359","doi":"https://doi.org/10.1093/logcom/exaf028"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaf028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf028","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044960820","display_name":"Alessandro Aldini","orcid":"https://orcid.org/0000-0002-7250-5011"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro Aldini","raw_affiliation_strings":["Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy"],"raw_orcid":"https://orcid.org/0000-0002-7250-5011","affiliations":[{"raw_affiliation_string":"Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","institution_ids":["https://openalex.org/I190397597"]},{"raw_affiliation_string":"Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019950782","display_name":"Davide Fazio","orcid":"https://orcid.org/0000-0001-8136-732X"},"institutions":[{"id":"https://openalex.org/I124326101","display_name":"University of Teramo","ror":"https://ror.org/01yetye73","country_code":"IT","type":"education","lineage":["https://openalex.org/I124326101"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Fazio","raw_affiliation_strings":["Department of Communication Sciences , University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE),","Department of Communication Sciences, University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE), Italy"],"raw_orcid":"https://orcid.org/0000-0001-8136-732X","affiliations":[{"raw_affiliation_string":"Department of Communication Sciences , University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE),","institution_ids":["https://openalex.org/I124326101"]},{"raw_affiliation_string":"Department of Communication Sciences, University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE), Italy","institution_ids":["https://openalex.org/I124326101"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091200157","display_name":"Pierluigi Graziani","orcid":"https://orcid.org/0000-0002-8828-8920"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Pierluigi Graziani","raw_affiliation_strings":["Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy"],"raw_orcid":"https://orcid.org/0000-0002-8828-8920","affiliations":[{"raw_affiliation_string":"Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","institution_ids":["https://openalex.org/I190397597"]},{"raw_affiliation_string":"Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085300345","display_name":"Raffaele Mascella","orcid":"https://orcid.org/0000-0002-1305-7853"},"institutions":[{"id":"https://openalex.org/I124326101","display_name":"University of Teramo","ror":"https://ror.org/01yetye73","country_code":"IT","type":"education","lineage":["https://openalex.org/I124326101"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Raffaele Mascella","raw_affiliation_strings":["Department of Communication Sciences , University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE),","Department of Communication Sciences, University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE), Italy"],"raw_orcid":"https://orcid.org/0000-0002-1305-7853","affiliations":[{"raw_affiliation_string":"Department of Communication Sciences , University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE),","institution_ids":["https://openalex.org/I124326101"]},{"raw_affiliation_string":"Department of Communication Sciences, University of Teramo, Via R. Balzarini, n. 1, 64100, Teramo (TE), Italy","institution_ids":["https://openalex.org/I124326101"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001257928","display_name":"Mirko Tagliaferri","orcid":"https://orcid.org/0000-0003-3875-0512"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mirko Tagliaferri","raw_affiliation_strings":["Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy"],"raw_orcid":"https://orcid.org/0000-0003-3875-0512","affiliations":[{"raw_affiliation_string":"Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU),","institution_ids":["https://openalex.org/I190397597"]},{"raw_affiliation_string":"Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Via Aurelio Saffi, n. 2, 61029, Urbino (PU), Italy","institution_ids":["https://openalex.org/I190397597"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5044960820"],"corresponding_institution_ids":["https://openalex.org/I190397597"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14585086,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"5","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6883217096328735},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.578438401222229},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4784110486507416},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3736363351345062},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35146909952163696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30533796548843384},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20473992824554443}],"concepts":[{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6883217096328735},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.578438401222229},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4784110486507416},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3736363351345062},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35146909952163696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30533796548843384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20473992824554443}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1093/logcom/exaf028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf028","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:ora.uniurb.it:11576/2757471","is_oa":false,"landing_page_url":"https://hdl.handle.net/11576/2757471","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research.unite.it:11575/162100","is_oa":false,"landing_page_url":"https://hdl.handle.net/11575/162100","pdf_url":null,"source":{"id":"https://openalex.org/S4306401171","display_name":"UniTERAMO Research Catalog (University of Teramo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124326101","host_organization_name":"University of Teramo","host_organization_lineage":["https://openalex.org/I124326101"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1544323190","https://openalex.org/W1970606468","https://openalex.org/W1989001504","https://openalex.org/W2021481433","https://openalex.org/W2029751871","https://openalex.org/W2031378403","https://openalex.org/W2040546296","https://openalex.org/W2612405411","https://openalex.org/W2641631519","https://openalex.org/W2914152958","https://openalex.org/W3122917388","https://openalex.org/W3165367428","https://openalex.org/W3174080901","https://openalex.org/W3199141198","https://openalex.org/W4210815198","https://openalex.org/W4211144022","https://openalex.org/W4231016000","https://openalex.org/W4298835879","https://openalex.org/W4304147719","https://openalex.org/W4319944796","https://openalex.org/W4392867914","https://openalex.org/W6631201209","https://openalex.org/W6644155904","https://openalex.org/W6784774027","https://openalex.org/W6885108409","https://openalex.org/W6921654086","https://openalex.org/W7025089717","https://openalex.org/W7049068692"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2051487156","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"Abstract":[0],"Logical":[1],"investigations":[2],"of":[3,6,40,52,58,74,94],"the":[4,47,60,72,88,124,148],"notion":[5],"secrecy":[7,109],"are":[8],"typically":[9],"concentrated":[10],"on":[11,46,111],"tools":[12],"for":[13],"deducing":[14],"whether":[15],"private":[16],"information":[17,82],"is":[18],"well":[19],"hidden":[20],"from":[21],"unauthorized,":[22],"direct,":[23],"or":[24,107],"indirect":[25],"access":[26],"attempts.":[27],"This":[28],"paper":[29],"proposes":[30],"a":[31,75,79,98],"multi-agent,":[32],"normal":[33],"multi-modal":[34],"logic":[35],"to":[36,96,141],"capture":[37],"salient":[38],"features":[39],"secrecy\u2019s":[41],"intentions.":[42],"Specifically,":[43],"we":[44,68,134],"focus":[45],"intentions,":[48],"beliefs":[49],"and":[50,114,118,130,147],"knowledge":[51],"secret":[53,80,89,100],"keepers":[54],"and,":[55],"more":[56],"generally,":[57],"all":[59],"actors":[61],"involved":[62],"in":[63],"secret-keeping":[64],"scenarios.":[65],"In":[66],"particular,":[67],"investigate":[69],"intentions":[70],"underlying":[71],"keeping":[73],"true":[76,99],"secret,":[77],"namely":[78],"concerning":[81],"known":[83],"(and":[84],"so":[85],"true)":[86],"by":[87],"keeper.":[90],"The":[91],"resulting":[92],"characterization":[93],"intending":[95],"keep":[97],"provides":[101],"valuable":[102],"insights":[103],"into":[104],"conditions":[105],"ensuring":[106],"undermining":[108],"depending":[110],"agents\u2019":[112],"attitudes":[113],"links":[115],"between":[116],"secrets":[117],"their":[119],"surrounding":[120],"context.":[121],"We":[122],"present":[123],"proposed":[125],"logical":[126],"system\u2019s":[127],"soundness,":[128],"completeness":[129],"decidability":[131],"results.":[132],"Furthermore,":[133],"outline":[135],"some":[136],"theorems":[137],"with":[138],"potential":[139],"applications":[140],"several":[142],"fields,":[143],"e.g.":[144],"computer":[145],"science":[146],"social":[149],"sciences.":[150]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}