{"id":"https://openalex.org/W7140220884","doi":"https://doi.org/10.48550/arxiv.2603.21802","title":"Modal Logic for Distributed Trust","display_name":"Modal Logic for Distributed Trust","publication_year":2026,"publication_date":"2026-03-23","ids":{"openalex":"https://openalex.org/W7140220884","doi":"https://doi.org/10.48550/arxiv.2603.21802"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.21802","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21802","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.21802","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Voorneveld, Niels","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Voorneveld, Niels","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Laud, Peeter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laud, Peeter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9056000113487244,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9056000113487244,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.0210999995470047,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11424","display_name":"Security and Verification in Computing","score":0.013500000350177288,"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/modal-logic","display_name":"Modal logic","score":0.573199987411499},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5475000143051147},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.54339998960495},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5329999923706055},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.37279999256134033},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.353300005197525},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.35199999809265137},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.3271999955177307}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7364000082015991},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.573199987411499},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5475000143051147},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.54339998960495},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5329999923706055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4546000063419342},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.37279999256134033},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.353300005197525},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.35199999809265137},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.32409998774528503},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.2928999960422516},{"id":"https://openalex.org/C2776937656","wikidata":"https://www.wikidata.org/wiki/Q2229669","display_name":"Nesting (process)","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C113839178","wikidata":"https://www.wikidata.org/wiki/Q7631418","display_name":"Subjective logic","level":3,"score":0.2865999937057495},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.28529998660087585},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C160521178","wikidata":"https://www.wikidata.org/wiki/Q5157345","display_name":"Computational trust","level":3,"score":0.2628999948501587}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.21802","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21802","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.21802","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21802","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5943406224250793,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,44,68,86,109],"propose":[1],"a":[2,12,30,42,81],"method":[3],"for":[4,14,33,71,106],"reasoning":[5],"about":[6],"trust":[7,20,58,65,105,117],"in":[8,29,41,48,119,129],"multi-agent":[9],"systems,":[10],"specifying":[11],"language":[13],"describing":[15,34],"communication":[16,97],"protocols":[17,128],"and":[18,22,37,56,100],"making":[19],"assumptions":[21],"derivations.":[23],"This":[24],"is":[25],"given":[26],"an":[27],"interpretation":[28],"modal":[31,73],"logic":[32,74],"the":[35,49,72],"beliefs":[36],"communications":[38],"of":[39,84,96,104],"agents":[40,60],"network.":[43],"define":[45],"how":[46,57,111],"information":[47],"network":[50],"can":[51,61,76,93,113],"be":[52,62,77,114],"shared":[53],"via":[54],"forwarding,":[55],"between":[59,98],"generalized":[63],"to":[64,116],"across":[66],"networks.":[67],"give":[69],"specifications":[70],"which":[75],"readily":[78],"adapted":[79],"into":[80],"lambda":[82],"calculus":[83],"proofs.":[85],"show":[87],"that":[88],"by":[89],"nesting":[90],"modalities,":[91],"we":[92],"describe":[94],"chains":[95],"agents,":[99],"establish":[101],"suitable":[102],"notions":[103],"such":[107],"chains.":[108],"see":[110],"this":[112],"applied":[115],"models":[118],"public":[120],"key":[121],"infrastructures,":[122],"as":[123,125],"well":[124],"other":[126],"interaction":[127],"distributed":[130],"systems.":[131]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-25T00:00:00"}