{"id":"https://openalex.org/W2767935761","doi":"https://doi.org/10.1017/s0960129517000214","title":"Reasoning about knowledge and messages in asynchronous multi-agent systems","display_name":"Reasoning about knowledge and messages in asynchronous multi-agent systems","publication_year":2017,"publication_date":"2017-11-10","ids":{"openalex":"https://openalex.org/W2767935761","doi":"https://doi.org/10.1017/s0960129517000214","mag":"2767935761"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129517000214","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129517000214","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-02533897","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091766019","display_name":"Sophia Knight","orcid":"https://orcid.org/0000-0001-6203-1505"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"SOPHIA KNIGHT","raw_affiliation_strings":["Uppsala University, Sweden E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Uppsala University, Sweden E-mail:","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020611616","display_name":"Bastien Maubert","orcid":"https://orcid.org/0000-0002-9081-2920"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"BASTIEN MAUBERT","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II, Italy E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II, Italy E-mail:","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064915259","display_name":"Fran\u00e7ois Schwarzentruber","orcid":"https://orcid.org/0000-0002-1228-4333"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210146044","display_name":"\u00c9cole Normale Sup\u00e9rieure de Rennes","ror":"https://ror.org/03rxtdc22","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210146044","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"FRAN\u00c7OIS SCHWARZENTRUBER","raw_affiliation_strings":["ENS Rennes/IRISA, France E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENS Rennes/IRISA, France E-mail:","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I4210146044"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8588,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.89534674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":"1","first_page":"127","last_page":"168"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9988999962806702,"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/asynchrony","display_name":"Asynchrony (computer programming)","score":0.7855150699615479},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.7676411867141724},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6951149702072144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6944558620452881},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6094930171966553},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6078479886054993},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5816372632980347},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.5597629547119141},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.5587916374206543},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.5556054711341858},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5512727499008179},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5271772146224976},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5001635551452637},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.48354053497314453},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.45601704716682434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3003823161125183},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2787300944328308},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.24431103467941284}],"concepts":[{"id":"https://openalex.org/C2779019669","wikidata":"https://www.wikidata.org/wiki/Q25203946","display_name":"Asynchrony (computer programming)","level":3,"score":0.7855150699615479},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7676411867141724},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6951149702072144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6944558620452881},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6094930171966553},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6078479886054993},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5816372632980347},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.5597629547119141},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.5587916374206543},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5556054711341858},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5512727499008179},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5271772146224976},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5001635551452637},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.48354053497314453},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.45601704716682434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3003823161125183},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2787300944328308},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.24431103467941284},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129517000214","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129517000214","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02533897v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02533897","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 2017","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02533897v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02533897","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 2017","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W87282152","https://openalex.org/W145304015","https://openalex.org/W171792540","https://openalex.org/W189948524","https://openalex.org/W297226426","https://openalex.org/W300190828","https://openalex.org/W564832898","https://openalex.org/W1184661690","https://openalex.org/W1480156617","https://openalex.org/W1511439447","https://openalex.org/W1511668635","https://openalex.org/W1512867836","https://openalex.org/W1518725080","https://openalex.org/W1533142698","https://openalex.org/W1544323190","https://openalex.org/W1576121868","https://openalex.org/W1988804687","https://openalex.org/W1991755574","https://openalex.org/W1994584977","https://openalex.org/W2022205872","https://openalex.org/W2025970201","https://openalex.org/W2032206951","https://openalex.org/W2046213250","https://openalex.org/W2050849115","https://openalex.org/W2088135026","https://openalex.org/W2092346246","https://openalex.org/W2092431596","https://openalex.org/W2094013177","https://openalex.org/W2096959337","https://openalex.org/W2107969197","https://openalex.org/W2108692603","https://openalex.org/W2112397136","https://openalex.org/W2113021048","https://openalex.org/W2120666720","https://openalex.org/W2126163510","https://openalex.org/W2159131252","https://openalex.org/W2171854513","https://openalex.org/W2239723031","https://openalex.org/W2295633432","https://openalex.org/W2502844875","https://openalex.org/W2975294410","https://openalex.org/W3137220996","https://openalex.org/W3140030144","https://openalex.org/W4213228184","https://openalex.org/W4234924236","https://openalex.org/W4235131552","https://openalex.org/W6605963064","https://openalex.org/W6607546955","https://openalex.org/W6628015446"],"related_works":["https://openalex.org/W2974949998","https://openalex.org/W103108516","https://openalex.org/W2135719375","https://openalex.org/W2091688126","https://openalex.org/W255527862","https://openalex.org/W2105377600","https://openalex.org/W2144619006","https://openalex.org/W2952497227","https://openalex.org/W4223518409","https://openalex.org/W2299748756"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,34,63],"variant":[3],"of":[4],"public":[5],"announcement":[6],"logic":[7],"for":[8,20],"asynchronous":[9],"systems.":[10],"To":[11],"capture":[12],"asynchrony,":[13],"we":[14,38,45,81,99],"introduce":[15],"two":[16,40],"different":[17],"modal":[18],"operators":[19],"sending":[21],"and":[22,66,87,98],"receiving":[23],"messages.":[24],"The":[25,49],"natural":[26],"approach":[27],"to":[28,33,61],"defining":[29],"the":[30,53,57,67,74,83,88,94],"semantics":[31,95],"leads":[32],"circular":[35],"definition,":[36],"but":[37],"describe":[39],"restricted":[41],"cases":[42,92],"in":[43,91],"which":[44],"solve":[46],"this":[47],"problem.":[48],"first":[50],"case":[51],"requires":[52],"Kripke":[54],"model":[55,84],"representing":[56],"initial":[58],"epistemic":[59],"situation":[60],"be":[62],"finite":[64],"tree,":[65],"second":[68],"one":[69],"only":[70],"allows":[71],"announcements":[72],"from":[73],"existential":[75],"fragment.":[76],"After":[77],"establishing":[78],"some":[79],"validities,":[80],"study":[82],"checking":[85],"problem":[86,90],"satisfiability":[89],"where":[93],"is":[96],"well-defined,":[97],"provide":[100],"several":[101],"complexity":[102],"results.":[103]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}