{“id”：“https://openalex.org/W2000283744“，”doi“：”https://doi.org/10.1305/ndjfl/1093636763“，”title“：“具有功能替代关系的模态逻辑。“，”display_name“：”具有功能替代关系的模态逻辑。“，”“publication_year”：1986，“publication_date”：“1986-10-01”，“ids”：{“openalex”：“https://openalex.org/W2000283744“，”doi“：”https://doi.org/10.1305/ndjfl/1093636763“，”mag“：”2000283744“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636763，“pdf_url”：https://project欧几里得.org/journals/notre-dame-jjournal-of-formal-logics/volume-27/issue-4-Modal-logics-with-functional-alternative-relations/10.1305/ndjfl/10936367636.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“（_U）：”https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Modal-logicas-with-functional-alternative-relations/10.1305/ndjfl/10936763.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038956053“，”display_name“：”Krister Segerberg“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“:”Kriste Segerberg'，“raw_affiliation_strings”：[]、“affiliations”：[]}]、“institution_assertions”：[]、“countries_distiction_count”：0，“institations_distributes_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5038956053“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：21，”citation_normalized_percentile“：{”value“：0.886571，”is_in_top_1_percent“：false，”is_Int_top_10_percennt“：false}，”citted_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：“27”，“issue”：“4”，“first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9905，”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.9905，”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.9882，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9482，”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.775328｝，｛”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.677063}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.666405}，{”id“：”https://openalex.org/keywords/mathematical-fuzzy-logic网站“，”display_name“：”数学模糊逻辑“，”score“：0.614838}]，”concepts“：[{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.6361472}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4131883}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4123141}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.39725682}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.106925935}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.09518388}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636763，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Modal-logicas-with-functional-alternative-relations/10.1305/ndjfl/10936763.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1305/ndjfl/1093636763，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Modal-logicas-with-functional-alternative-relations/10.1305/ndjfl/10936763.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”杜克大学“，”杜克大学出版社“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：10，”referenced_works“：[”https://openalex.org/W1527588453","https://openalex.org/W1988370352","https://openalex.org/W2008952614","https://openalex.org/W2064946669","https://openalex.org/W2144347980","https://openalex.org/W2163751633","https://openalex.org/W2319388297","https://openalex.org/W2330320180","https://openalex.org/W4251079513","https://openalex.org/W4256562411“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694网址“]，”abstract_inverted_index“：{”Some“：[0]，”families“：[1]，”of“：[2,13,15,22,25,31,47138180182201219230266280]，”modal“：[3,17185320]，”logics“：[4286]，”form“：[5]，”lattices；“：[6]，“special”：[7]，“importantive”：[8]，“examples”：[9]，“are”：[10117243]，“the”：[11,20,81,85114142178183191199202210622424242412412 60268274291298327]，“set“：[12,21288]，”extensions“：[14,24181218]，”a“：[16,26]，”logic“：[18186251]，”and“：[19,59126273326340348]，“normal”：[23,27184228250264278]，”逻辑。一个“：[28]，”传统“：[29]，”方式“：[30]，”学习“：[32]，”这样“：[33128175]，”格，“：[34]，”下降“：[35]，”后退“：[36]，”on“：[37135343]，”先前“：[38]，”工作“：[39,98]，”in“：[40,91,991131652402933093183243469]，”代数“：[41]，”seeks“：[42]，”to“：[43,51,74,78,8888]151236252305331]，“建立”：[44]，“一般”：[45]，“属性”：[46]，“非常“：[48,64153]，“大”：[49143]，“格子。谢谢“：[50]，“Kit”：[52]，“Fine”：[53]，“Wim”：[54]，“Blok”：[55]，“Johan”：[56]，“van”：【57】，“Benthem”：【58】，“others”，“：【60】，“this”：【61100146169310344】，“tradition”：【62116147】，“is”：【63，68，87157198287297】，“much”：【65】，“alive”。但是“：[66]，“there”：[67159]，“also”：[69133]，“an”：[70]，“earlier”：[71]，“tradition”，“：[72]，“related”：[73]，“But”，“:[75]，“make”：[76]，“possible”：[77]，“discrimination”：[79]，“from”：[80]，“one”：+82174]，“remoted”，“where”：【84155190】，“抱负”：[86]，“map”：〔89299〕，“out”：[90289]，“完整”：[92]，“细节”：[93]，“充分”：[94]，“小”：[95]，“格。“：[96]，”第一“：[97]，”静脉“：[101]，”是“：[102312]，”斯克洛格斯“：[103]，”著名“：[104110]，”[15]，“：[105]，”后跟“：[106]，”由“：[107119232290314]，”公牛“：[108]，”同等“：[109]，”[1]。其他“：[111]，”调查“：[112]，”相同“：[115]，”例证“：[118]，”[2]，“：[120]，”[6]，“：121]，”[18]，“”：[122]，“[19]，”：[123]，“[21]，”“：[124]，”[22]；“：[125]，”工作“：[127]，”作为“：[129322]，”[5]，”：[130]，“[7]，”：[131]，“[11]”：[132]，”熊“：[134]，”它。在“：[136]，”视图“：[137]，”如何“：[139]，”巨大“：[140]，”复杂“：[141]，”晶格“：[144]，”是“：[145]，”可以“：[148]，”从不“：[149]，”希望“：[150]，”发展“：[152]，“远。然而，“：[154]，“它”：[156167]，“可行”：[158]，“可能”：[160213]，“仍然”：[161]，“是”：[162]，“一些”：[163]，“兴趣”：[164317]，“看到”：[166]，“追求。在“：[168]，“论文”：[170311]，“我们”：[171212303]，“将要”：[172]，“提供”：[173]，“示例”，“：[176]，“探索”：[177]，“晶格”：[179]，“KD”：[187220]，“C”：[188221247]，“，”：[189]，“模式”：[192205269]，“D”：[193196208255]，“C”：[194258]，“。OA“：[195]，”DA“：[197207270]，”converse“：[200]，”wellknown“：[203]，”道义“：[204]，”D.“：[206]，”OA。在“：[209]，“开始”：[211]，“注释”：[214]，“that”：[215]，“only”：[217]，“other”：[222]，“theran”：“than”：[223]，“Inconsistent”：[225]，“Logic”：[2262276]，“（the”：[227248263277]，“extension”：[229265279]，“K”：[231]，“J.）”：[233]，“which”：[234]，“seement”：[235]，“have”：[237]，“被“：[238]，”描述“：[239]，”文献“：[242]，”KD\u03aa“：[244]，”=“：[245271]，”知识发现“：[246]，”最小“：[249]，”包含“：[253]，”两者“：[254]，”\u00a3>“：[257]，”），“：[259]，”普通“：[261]，”Kby“：[267]，“A），”：[272]，“Verum”：[275]，“\u039b\u0393by”：[281]，“D\u00b1）。The“：[282]，”relationship“：[283]，”between“：[284]，”these“：[285]，”chart“：[292]，”Fig.“：[294]，”1.This，“：[295]，”The，“then，”：[296]，“which”：[300]，“怀特”：[301]，“patches”：[302]，“propose”：[304]，“fill。“：[306]，“研究”：[307]，“报告”：[3008]，“提示”：[313]，“布赖恩”：[351]，“切拉斯”：[316]，“功能”：[339]，“逻辑”，“：[321]，”解释“：[333]，”[4]，“：325]，“作者”：[328]，“：[335]，”他“，”：[336]，”麦克斯“，”克里斯“托马森“：[342]，“主题”，：[345]，“对话”，[347]，“通信”。“：[350]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2000283744“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2022，”ciped_by_cunt“：1'，{“年份”：2021，“，”创建日期“：”2016-06-24“}