{“id”：“https://openalex.org/W3175801760“，”doi“：”https://doi.org/10.109/lics52264.2021.9470666“，”title“：“可证明逻辑的零一定律：在几乎所有模型和几乎所有框架中公理化有效性”，“display_name”：“可验证逻辑的零之一定律：在差不多所有模型和差不多所有框架中公理化有效度”，“publication_year”：2021，“publitation_date”：“2021-06-29”，“ids”：{“openalex”：“https://openalex.org/W3175801760“，”doi“：”https://doi.org/10.109/lics52264.2021.9470666“，”mag“：”3175801760“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470666“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://research.rug.nl/files/181917843/Zero_one_laws_for_provability_logic_Axiomatizing_validity_in_almost_all_models_and_almost_all_frames.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5002223668“，”display_name“：”Rineke Verbrugge“，”orcid“：”https://orcid.org/0000-0003-3829-0106}，“机构”：[{“id”：https://openalex.org/I169381384“，”display_name“：”格罗宁根大学“，”ror“：”https://ror.org/012p63287“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I169381384“]}]，”countries“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Rineke Verbrugge“，”raw _affiliation_strings“：【”Groningen大学人工智能系“】}]，“countries_distict_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5002223668“]，”对应机构_ids“：[”https://openalex.org/I169381384“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：63}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id”：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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.9998，”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.9973，“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/T10456“，”display_name“：”基于代理建模的方法和技术“，”score“：0.995，”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/keywords/desolution-frameworks（https://openalex.org/关键词/论证框架）“，”display_name“：”Argumentation Frameworks“，”score“：0.514629}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.506749}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7951399}，{”id“：”https://openalex.org/C2780813799，“wikidata”：https://www.wikidata.org/wiki/Q3274237“，”display_name“：”Zero（语言学）“，”level“：2，”score“：0.6612812}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.63702327}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.62327343}，{”id“：”https://openalex.org/C191399111，“wikidata”：https://www.wikidata.org/wiki/Q64861“，”display_name“：”传递关系“，”level“：2，”score“：0.5535807}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.46488}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076网址“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.45941505}，{”id“：”https://openalex.org/C162392398，“wikidata”：https://www.wikidata.org/wiki/Q272404“，”display_name“：”有限集“，”level“：2，”score“：0.44324762}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3459563}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.3108958}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.22508028}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.214344}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”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/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470666“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://research.rug.nl/en/publications/a80a0ec6-a840-445e-a2a0-e6361a05240b，“pdf_url”：https://research.rug.nl/files/181917843/Zero_one_laws_for_provability_logic_Axiomatizing_validity_in_almost_all_models_and_almost_all_frames.pdf，“源”：{“id”：https://openalex.org/S4306400420“，”display_name“：”格罗宁根大学研究数据库（格罗宁恩大学/信息技术中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I169381384“，”“host_organization_name”：“格罗宁根大学”，“host_organization_lineage”：[“https://openalex.org/I169381384“]，”host_organization_lineage_names“：[”格罗宁根大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://pure.rug.nl/ws/files/181917843/Zero_one_laws_for_provability_logic_Axiomatizing_validity_in_almost_all_models_and_almost_all_frames.pdf，“pdf_url”：https://pure.rug.nl/ws/files/181917843/Zero_one_laws_for_provability_logic_Axiomatizing_validity_in_almost_all_models_and_almost_all_frames.pdf，“源”：{“id”：https://openalex.org/S4306400420“，”display_name“：”格罗宁根大学研究数据库（格罗宁恩大学/信息技术中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I169381384“，”“host_organization_name”：“格罗宁根大学”，“host_organization_lineage”：[“https://openalex.org/I169381384“]，”host_organization_lineage_names“：[”格罗宁根大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://pure.rug.nl/ws/files/181917784/2102.05947v1.pdf，“pdf_url”：https://pure.rug.nl/ws/files/181917784/2102.05947v1.pdf，“源”：{“id”：https://openalex.org/S4306400420“，”display_name“：”格罗宁根大学研究数据库（格罗宁恩大学/信息技术中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I169381384“，”“host_organization_name”：“格罗宁根大学”，“host_organization_lineage”：[“https://openalex.org/I169381384“]，”host_organization_lineage_names“：[”格罗宁根大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1202.05947，“pdf_url”：https://arxiv.org/pdf/2102.05947，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://research.rug.nl/en/publications/a80a0ec6-a840-445e-a2a0-e6361a05240b，“pdf_url”：https://research.rug.nl/files/181917843/Zero_one_laws_for_provability_logic_Axiomatizing_validity_in_almost_all_models_and_almost_all_frames.pdf，“源”：{“id”：https://openalex.org/S4306400420“，”display_name“：”格罗宁根大学研究数据库（格罗宁恩大学/信息技术中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I169381384“，”“host_organization_name”：“格罗宁根大学”，“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｝，”sustainable_development_goals“：[｛”score“：0.79，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：36，”refernced_works“：[”https://openalex.org/W1483655485","https://openalex.org/W1489366126","https://openalex.org/W1519278243","https://openalex.org/W1527588453","https://openalex.org/W1566551935","https://openalex.org/W1982959226","https://openalex.org/W1990958546","https://openalex.org/W2018883342","https://openalex.org/W2034198367","https://openalex.org/W2036751590","https://openalex.org/W2038701472","https://openalex.org/W2061689655","https://openalex.org/W2063406522","https://openalex.org/W2064811181","https://openalex.org/W2065234465","https://openalex.org/W2076048718","https://openalex.org/W2083716186","https://openalex.org/W2085536555","https://openalex.org/W2094573629","https://openalex.org/W2104799464","https://openalex.org/W2104881994","https://openalex.org/W2126160338","https://openalex.org/W2145550456","https://openalex.org/W2165031373","https://openalex.org/W2170743240","https://openalex.org/W2507292754","https://openalex.org/W3028000971","https://openalex.org/W3041012134","https://openalex.org/W3134167044","https://openalex.org/W4210866642","https://openalex.org/W4234274921","https://openalex.org/W4242309855","https://openalex.org/W4244028915","https://openalex.org/W4253934133","https://openalex.org/W4285719527","https://openalex.org/W76753297“]，”related_works“：[”https://openalex.org/W4312527695","https://openalex.org/W3016746667","https://openalex.org/W3007067598","https://openalex.org/W2962420748","https://openalex.org/W2361167282","https://openalex.org/W2091342995","https://openalex.org/W2028144918","https://openalex.org/W1587059467","https://openalex.org/W1528932152","https://openalex.org/W119381390“]，”ngrams_url“：”https://api.openalex.org/works/W3175801760/ngrams“，”“abstract_inverted_index”：{“It”：[0]，“has”：[1117]，“been”：[2119]，“shown”：[3]，“in”：[4,36,40,63142150226]，“the”：[5,24,92106164185199214227]，“late”：[6]，”“1960年代”：[7]，“that”：[8,45190]，“each”：[9]，“formula”：[10,33221]，“of”：[11,26,28,44,50,58,66,881091782012.16]，“一阶”：[12,67]，“逻辑”：[13129]，“无”：[14]，“常数”：[15]，“和“：[16,76,81,98135149173196231]，“函数”：[17]，“符号”：[18]，“服从”：[19]，“a”：[20168191219]，”零一“：[21,84103113125]，“定律：”：[22]，“As”：[23]，“数字”：[25,57]，“元素”：[27]，”有限“：[29147155181229]，]，“持有”：[34]，“任一”：[35]，“几乎”：[37,41143151179202223]，“all“：[38144152180]，”或“：[39]，”no“：[42]，”大小。“：[46]，”因此，“：[47]，”许多“：[48]，”属性“：[49]，”模型“：[51]，”这样“：[52]，”如“：[53]，”有“：[54]，”一个“：[55]，”偶数“：[56]，”元素“：[59]，”不能“：[60]，”be“：[61]，”expressed“：[62]，”语言“：[65]，”逻辑。“：[68]，”对于“：[69]，”模态“：[70,93]，”逻辑“：[71]，”极限“：[72]，”行为“：[73]，”用于“：[74,86105115127206]，”帧“：[77]，”可能“：[78]，”不同。“：[79]，”Halpern“：[80195]，”Kapron“：[82197]，”proved“：[83]，”laws“：[85104126]，”classes“：[87108]，”corresponding“：[90107]，”to“：[91132158]，”logics“：/94]，”K“：[95]，”T“：[96]，”S4“：[97]，”S5.“：[99]，”They“：[100]，”also“：[101188]，”posed“：[102]，”frames，“：[110156]，”但是“：[111]，”他们的“：[112]，”法律“：[114]，”K帧“：[116]，”自“：[118]，”被推翻。在“：[120]，”这个“：[121]，”论文“：[122]，”我们“：[12311916187212]，”证明“：[124]，”可证明性“：[128]，”有“：[130]，”尊重“：[131]，”两者“：[133]，”模型“：[134]，”框架“：[136204]，”有效性。“：[137]，”此外，“：[138]，”公理化“：[140]，”有效性“：[141205]，”非自反“：[145153]，”及物“：[146154]，”领先“：[157]，”两个“：[159]，”不同“：[160]，”公理“：[161]，”系统。“：[162]，“In”：[163]，“proof”，“：[165]，“use”：[167]，“combinatial”：[169]，“result”：%170193]，“by”：[171194]，“Kleitman”：[172]，“Rothschild”：[174]，“about”：[175198]，“structure”：[177]，“partial”：[182]，“orders”。“：[183]，”On“：[184]，”way“，”show“：[189]，”previous“：[192]，”公理化“：[200]，”sure“：[203]，”S4“：[207]，”is“：[208222]，”not“：[209]，”correct“。“：[210]，”最后，“：[211]，”考虑“：[213]，”复杂性“：[215]，”决定“：[217]，”是否“：[218]，”给定“：[220]，”肯定“：[224]，”有效“：[225]，”相关“：[228]，”帧。“：[232]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3175801760“，”counts_by_year“：[]，”updated_date“：”2024-05-22T20:21:18.382582“，”created_date:“2021-07-05”}“