{“id”：“https://openalex.org/W4296970258“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_14“，”title“：”Hennessy-Milner Logic中的Apartness and Distinguished Formulas“，”display_name“：”轩尼诗-米尔纳逻辑中的Apartness and Distinginished Formules“，“publication_year”：2022，“publitation_date”：“2022-01-01”，“ids”：{“openalex”：“https://openalex.org/W4296970258“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_14“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_14“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5071639019“，”display_name“：”Herman Geuvers“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}，{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Herman Geuvers“，”raw _affiliation_strings“：[“荷兰埃因霍温技术大学数学与计算机科学学院”，“ICIS，荷兰奈梅亨奈梅亨拉德布德大学”]}]“countries_distiction_count”：1，“institutions_disticenc_count“：2，”对应的author_ids“：[”https://openalex.org/A5071639019“]，”对应的机构ID“：[”https://openalex.org/I83019370","https://openalex.org/I145872427“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0”，“max”：67}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”266“，”last_page“：”282“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.534026｝]，”concepts“：[｛”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.9353335}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5493155}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.53736717}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.536255}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.5216996}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841（网址：https://www.wikidata.org/wiki/Q210841）“，”display_name“：”模态逻辑“，”level“：3，”score“：0.5054605}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.49837184}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47121564}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42562062}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3671546}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.33994168}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.14076078}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”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}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_14“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：10，“referenced_works“：[”https://openalex.org/W1577673148","https://openalex.org/W1978469611","https://openalex.org/W1985161650","https://openalex.org/W2011762419","https://openalex.org/W2107144615","https://openalex.org/W2131439244","https://openalex.org/W2403339536","https://openalex.org/W2980227841","https://openalex.org/W3186768679","https://openalex.org/W3187357174“]，”related_works“：[”https://openalex.org/W4386167681","https://openalex.org/W4294810627","https://openalex.org/W2810752651","https://openalex.org/W2136070637","https://openalex.org/W1608609850","https://openalex.org/W1586382855","https://openalex.org/W1582247340","https://openalex.org/W1554045856","https://openalex.org/W1515412030","https://openalex.org/W1500812389“]，”ngrams_url“：”https://api.openalex.org/works/W4296970258/ngrams网站“，”“abstract_inverted_index”：{“For”：[0]，“Labeled”：[1]，“Transition”：[2]，“Systems”：[3]，“an”：[4,69105201]，“important”：[5]，“question”：[6]，“is”：[7,65,68145]，“when”：[8]，“two”：[9,40,83114137]，“states”：[10,41115138]，“in”：[11,22,56,97]，“such”：[12]，“a”：[13,35146207]，“系统”：[14]，“是”：[15,45,85116139]，“相似。”：[16]，“这里”：[17]，“we“：[18,50,73,91]，“研究”：[19,94188]，“该”：[20,23,88,93,98124130189192]，“对偶”，：[21]，“意义”：[24]，“of”：[25,28,38,95100111127195]，“逻辑”：[26]，“相反”：[27]，“双相似性”：[29,63]，“已知”：[30]，“as”：[31]，“\u201capartness\u201d。“：[32]，”This“：[33]，”gives“：[34204]，”positive“：[36]，”way“：[3]，”distinguished“：[39208]，”（stating“：[42]，”that“：[43,82103148]，”they“：[44122]，”not“：%46]，”bisimilar）。“：[47]，”In“：[48,87]，”[3]“：[P9]，”have“：[51,74]，”studed“：[52,77]，”apartness“：[53,67,96131202]，”（and“：[54]，”bisimility）“：[55]，”general“：[57]，”co-algical“：58]，”terms。“：[59]，”作为“：[60]，”反对“：[61]，”到“：[62206]，”其中“：[64]，”共归纳，“：[66]，”归纳“：[70]，”概念“：[71]，”和“：[72,76109119142175198]，”给定“：[75]，”证明“：[78203]，”系统“：[79162]，”对于“：[80155159166178]，”派生“：[81]，”分开。“：[86]，”present“：[89]，”paper“：[90]，”continue“：[92]，”light“：[99]，”Hennessy-Milner“：[101196]，”定理“：[102]，”建立“：[104]，”等价“：[106]，”介于“：[107]，”互模拟“：[108158165177]，”有效性“：[110]，”（模态）“：[112]，”公式：“：[113]，”双相似“：[117]，”if“：[1181141]，”仅“：[120143]，“满足”：[123]，“相同”：[125]，“集合”：[126]，“公式。“：[128]，”使用“：[129]，”视图“：[132]，”这个“：[133153]，”可以“：[134]，”被“：[135]，”二元化：“：[136]，”分开“：[140]，”那里“：[144]，”公式“：[147]，”区分“：[149]，”它们。“：[150]，“我们”：[151187]，“工作”：[152]，“输出”：[154]，“三个”：[156]，“情况：”：[157]，“标签”：[160]，“过渡”：[161]，“（LTS），”：[163]，“弱”：[164]，“LTS”：[167179]，“with”：[168180191]，“silent”：[169181]，“”（“：[170182]，“$\\tau”：[171183]，“$”：[172184]，“）”：[173185]，“步骤”：[174]，“分支”：[176]，“步数”。“：[186]，“等价物”：[190]，“众所周知”：[193]，“变体”：[194]，“逻辑”：[197]，“显示”：[199]，“如何”：[200]，“上升”：[205]，“公式”。“：[209]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4296970258“，”counts_by_year“：[]，”updated_date“：”2024-05-18T13:41:19.383906“，”created_date:“2022-09-25”}“