{“id”：“https://openalex.org/W2041330005“，”doi“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”title“：“命题动态逻辑中的算术层次”，”display_name“：”命题动态逻辑的算术层次“，”publication_year“：1989，”publiction_date“：”1989-06-01“，”ids“：{”openalex“：”https://openalex.org/W2041330005“，”doi“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”mag“：”2041330005“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa网址“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5066189305“，”display_name“：”Sorin Istrail“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corressigning“：true，”raw_author_name“：”Sorin Istrail“，”raw_affiation_strings“：[]，”affiliations“：[]｝]，”countries_distict_count“：0，”institutions_disict_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5066189305“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2610，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：nully，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”citected_by_percentile_year“：{”min“：65，”max“：69}，“biblio”：{“volume”：“81”，“问题”：“3”，“first_page”：“280”，“last_page”：“289”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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“：”物理科学“｝｝，｛”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9976，”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/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.536546}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.518219}]，”concepts“：[{”id“：”https://openalex.org/C112343008，“wikidata”：https://www.wikidata.org/wiki/Q140744“，”display_name“：”算术函数“，”level“：2，”score“：0.7784857}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.7338767}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.64501834}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”井型公式“，”level“：5，”score“：0.58651847}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.5850838}，{”id“：”https://openalex.org/C74640108，“wikidata”：https://www.wikidata.org/wiki/Q1372900“，”display_name“：”命题公式“，”level“：5，”score“：0.58209854}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.53375345}，{”id“：”https://openalex.org/C31170391，“wikidata”：https://www.wikidata.org/wiki/Q188619“，”display_name“：”Hierarchy“，”level“：2，”score“：0.48678872}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.45793533}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.42734212}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42454106}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.33370656}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”等级“：1，”分数“：0.33103758}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.32811743}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3183912}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.20408586}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.1333479}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.11134717}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.07411921}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa网址“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0890-5401（89）90033-3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa网址“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：2，”reforenced_works“：[”https://openalex.org/W2023844496","https://openalex.org/W2069709605“]，”related_works“：[”https://openalex.org/W849070015","https://openalex.org/W4251854500","https://openalex.org/W3200682096","https://openalex.org/W3137333128","https://openalex.org/W2504237466","https://openalex.org/W2441642482","https://openalex.org/W2285760602","https://openalex.org/W2184299737","https://openalex.org/W2081976468","https://openalex.org/W1986625420“]，”ngrams_url“：”https://api.openalex.org/works/W2041330005/ngrams网站“，”abstract_inverted_index“：{”We“：[0]，”prove“：[1]，”that“：[2]，”any“：[3]，”alternation“：[4]，”of“：[5,27,36]，”models“：[6]，”in“：[7]，”PDL“：[8,21]，”adds“：[9]，”to“：[10]，”its“：[11]，”expressivery“：[12]，”power.“：[13]，”The“：[14]，“proof”：[15]，”uses“：[16]，”图灵“：[17]，”机器“：[18]，”模型“：[19]，”其中“：[20]，”公式“：[22]，”定义“：[23]，”The“：[24]，”算术“：[25]，”层次结构“：[26]，”集合。“：[28]，”As“：[29]，”a“：[30,34]，”副产品“：[31]，”we“：[32]，”获取“：[33]，”定理“：[35]，”Berman“：[37]，”和“：[38]，”Paterson。“：[39]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W2041330005“，”counts_by_year“：[{”年“：2012，”cited_by_count“：2}]，”更新日期“：”2024-06-26T05:08:26.53880“，”创建日期“：“2016-06-24”}