{“id”：“https://openalex.org/W4248244173“，”doi“：”https://doi.org/10.1145/1190216.1190236“，”title“：”Context logic as modal logic“，”display_name“：”Context logic is modal logical“，”publication_year“：2007，”publiation_date“：”2007-01-17“，”ids“：{”openalex“：”https://openalex.org/W4248244173“，”doi“：”https://doi.org/10.1145/1190216.1190236“｝，”language“：”es“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1190216.1190236“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Cristiano Calcagno“，”raw _ afiliation_strings“：[“伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：[“伦敦帝国理工学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5052030545“，”display_name“：”Uri Zarfaty“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Uri Zarfaty“，”raw_affiliation_strings“：[“伦敦帝国理工学院”]}]“countries_distiction_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc_payed”：nul，“has_fulltext”：false y_count“：18，”cited_by_percentile_year“：{“min”：88，“max”：89}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9979，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.997，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.743885}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.643299}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.611954}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.611211}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.61079}]，”concepts“：[{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.6814362}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”正常模态逻辑“，”level“：4，”score“：0.6731709}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.6246321}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.61235243}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5948836}，{”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.5162277}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.42208654}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.41169676}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.40040863}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.28245568｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.108508736}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.074367225}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.074089825}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.058217734｝，｛”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498（网址：https://www.wikidata.org/wiki/Q23498）“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”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.1145/1190216.1190236“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：9，“referrenced_works”：[”https://openalex.org/W1562865234","https://openalex.org/W1966814918","https://openalex.org/W1981382949","https://openalex.org/W2013474929","https://openalex.org/W2066135421","https://openalex.org/W2125252697","https://openalex.org/W2167998587","https://openalex.org/W4211144022","https://openalex.org/W4256027310“]，”related_works“：[”https://openalex.org/W830045649","https://openalex.org/W7834247","https://openalex.org/W65541081","https://openalex.org/W2101793126","https://openalex.org/W2082558313","https://openalex.org/W1988817063","https://openalex.org/W1909183225","https://openalex.org/W1692757135","https://openalex.org/W1537541219","https://openalex.org/W119381390“]，”ngrams_url“：”https://api.openalex.org/works/W4248244173/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4248244173“，”counts_by_year“：[{年：2019，”cited_by_count“：1}，{年“：2015，”cited_by_count”：3}，“年”：2014