{"id":"https://openalex.org/W2171854513","doi":"https://doi.org/10.1145/2000378.2000395","title":"The synchronicity of dynamic epistemic logic","display_name":"The synchronicity of dynamic epistemic logic","publication_year":2011,"publication_date":"2011-07-12","ids":{"openalex":"https://openalex.org/W2171854513","doi":"https://doi.org/10.1145/2000378.2000395","mag":"2171854513"},"language":"en","primary_location":{"id":"doi:10.1145/2000378.2000395","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000378.2000395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge","raw_type":"proceedings-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/A5086061239","display_name":"C\u00e9dric D\u00e9gremont","orcid":null},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"C\u00e9dric D\u00e9gremont","raw_affiliation_strings":["Afdeling Kunstmatige Intelligentie, Rjiksuniversiteit Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Afdeling Kunstmatige Intelligentie, Rjiksuniversiteit Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065186485","display_name":"Benedikt L\u00f6we","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Benedikt L\u00f6we","raw_affiliation_strings":["Universiteit van Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Universiteit van Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020714641","display_name":"Andreas Witzel","orcid":null},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andreas Witzel","raw_affiliation_strings":["New York University"],"affiliations":[{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5086061239"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":null,"apc_paid":null,"fwci":2.6415,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.91184612,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"145","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9943000078201294,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9902999997138977,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/synchronicity","display_name":"Synchronicity","score":0.9472728967666626},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.6567438244819641},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6301320791244507},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.623401939868927},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5524255633354187},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4865802526473999},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4846806824207306},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.45439958572387695},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3793765902519226},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3599213659763336},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3344622552394867},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.23533812165260315},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13843700289726257}],"concepts":[{"id":"https://openalex.org/C161394823","wikidata":"https://www.wikidata.org/wiki/Q1121101","display_name":"Synchronicity","level":2,"score":0.9472728967666626},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6567438244819641},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6301320791244507},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.623401939868927},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5524255633354187},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4865802526473999},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4846806824207306},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.45439958572387695},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3793765902519226},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3599213659763336},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3344622552394867},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.23533812165260315},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13843700289726257},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2000378.2000395","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000378.2000395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge","raw_type":"proceedings-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/55c3d5a3-4cd2-4ac0-93ad-dbab3c126dd7","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/the-synchronicity-of-dynamic-epistemic-logic(55c3d5a3-4cd2-4ac0-93ad-dbab3c126dd7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"D\u00e9gremont, C, L\u00f6we, B & Witzel, A 2011, The synchronicity of dynamic epistemic logic. in K R Apt (ed.), TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) . New York, NY, pp. 145-152, TARK XIII, Thirteenth conference on Theoretical Aspects of Rationality and Knowledge, 1/01/11. https://doi.org/10.1145/2000378.2000395","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/7ee5456a-ce29-48c3-848c-892fe3181585","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/7ee5456a-ce29-48c3-848c-892fe3181585","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"D\u00e9gremont, C, Lowe, B & Witzel, A 2011, The synchronicity of dynamic epistemic logic. in K R Apt (ed.), TARK XIII: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM Press Digital Library, pp. 145-152.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.224.5961","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.5961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/PP-2011-10.text.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:publications/55c3d5a3-4cd2-4ac0-93ad-dbab3c126dd7","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/the-synchronicity-of-dynamic-epistemic-logic(55c3d5a3-4cd2-4ac0-93ad-dbab3c126dd7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"D\u00e9gremont, C, L\u00f6we, B & Witzel, A 2011, The synchronicity of dynamic epistemic logic. in K R Apt (ed.), TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) . New York, NY, pp. 145-152, TARK XIII, Thirteenth conference on Theoretical Aspects of Rationality and Knowledge, 1/01/11. https://doi.org/10.1145/2000378.2000395","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1152485336","display_name":null,"funder_award_id":"277-80-001","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W32151829","https://openalex.org/W139977246","https://openalex.org/W1489891289","https://openalex.org/W1497329491","https://openalex.org/W1518725080","https://openalex.org/W1533253403","https://openalex.org/W1606699573","https://openalex.org/W1645519945","https://openalex.org/W1656091372","https://openalex.org/W1847765408","https://openalex.org/W1973052685","https://openalex.org/W2004865763","https://openalex.org/W2039352370","https://openalex.org/W2058814709","https://openalex.org/W2085888957","https://openalex.org/W2103532931","https://openalex.org/W2109100253","https://openalex.org/W2120613606","https://openalex.org/W2136794369","https://openalex.org/W2144792489","https://openalex.org/W2146819619","https://openalex.org/W2149488891","https://openalex.org/W2159131252","https://openalex.org/W2184580343","https://openalex.org/W2223100187","https://openalex.org/W2340985688","https://openalex.org/W2505050456","https://openalex.org/W2528007472","https://openalex.org/W2943193145","https://openalex.org/W3127054829","https://openalex.org/W3137475490"],"related_works":["https://openalex.org/W560220919","https://openalex.org/W4253386791","https://openalex.org/W2493643238","https://openalex.org/W2772409069","https://openalex.org/W2495789417","https://openalex.org/W3167834828","https://openalex.org/W2347146170","https://openalex.org/W1527612580","https://openalex.org/W151416273","https://openalex.org/W3121371410"],"abstract_inverted_index":{"In":[0,48],"a":[1,11,26,75,85,102],"recent":[2],"paper,":[3,50],"van":[4,68],"Benthem,":[5],"Gerbrandy,":[6],"Hoshi":[7],"and":[8,24,83,116],"Pacuit":[9],"gave":[10],"natural":[12],"translation":[13,66,77],"of":[14,36,60,64,89,108,120],"dynamic":[15],"epistemic":[16,20],"logic":[17,22],"(DEL)":[18],"into":[19],"temporal":[21,87],"(ETL)":[23],"proved":[25],"representation":[27],"theorem,":[28],"characterizing":[29,42],"those":[30],"ETL":[31,81],"models":[32,82],"that":[33,53,67,78,91],"are":[34,112,118],"translations":[35],"some":[37],"DEL":[38,90,115],"protocol;":[39],"among":[40],"the":[41,65,93,96,109,121],"properties":[43,111,119],"we":[44,51],"also":[45],"find":[46],"synchronicity.":[47],"this":[49],"argue":[52],"synchronicity":[54],"is":[55],"not":[56],"an":[57],"inherent":[58],"property":[59],"DEL,":[61],"but":[62],"rather":[63],"Benthem":[69],"et":[70],"al.":[71],"used.":[72],"We":[73],"provide":[74],"different":[76],"produces":[79],"asynchronous":[80],"discuss":[84],"minimal":[86],"extension":[88],"removes":[92],"ambiguities":[94],"between":[95],"possible":[97],"translations.":[98],"This":[99],"allows":[100],"us":[101],"first":[103],"attempt":[104],"at":[105],"assessing":[106],"which":[107,117],"epistemic-temporal":[110],"intrinsic":[113],"to":[114],"translation.":[122]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}