{“id”：“https://openalex.org/W2048154108“，”doi“：”https://doi.org/10.1016/j.apal.2005.10.005“，”title“：“初等规范公式：扩展Sahlqvist\u2019s定理”，”display_name“：”初等规范表达式：扩展Sahrqvist\u 2019s公式“，”publication_year“：2006，”publitation_date“：”2006-08-01“，”ids“：{”openalex“：”https://openalex.org/W2048154108“，”doi“：”https://doi.org/10.1016/j.apal.2005.10.005“，”mag“：”2048154108“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2005.10.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://philpapers.org/archive/GORECF.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A50666665696“，”display_name“：”Valentin Goranko“，”orcid“：”https://orcid.org/0000-0002-0157-1644}，“机构”：[{“id”：https://openalex.org/I192619145“，”display_name“：”威特沃特斯兰德大学“，”ror“：”https://ror.org/03rp50x72“，”country_code“：”ZA“，”type“：“教育”，”世系“：[”https://openalex.org/I192619145“]}]，”国家“：[”ZA“]，”is_corresponding“：true，”raw_author_name“：”Valentin Goranko“，”raw _ affiliation_strings“：[“南非约翰内斯堡威特沃特斯兰德大学数学学院”]，”affiliation“：[{”raw _affiliation_string“：”南非约翰内斯堡威特沃特斯兰德大学数理学院”，“institution_ids”：[“https://openalex.org/I192619145“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5076246494“，”display_name“：”Dimiter Vakarelov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I58918642“，”display_name“：”索非亚大学“St.Kliment-Ohridski”“，”ror“：”https://ror.org/02jv3k292“，”country_code“：”BG“，”type“：”教育“，”血统“：[”https://openalex.org/I58918642“]}]，”国家“：[”BG“]，”is_corresponding“：false，”raw_author_name“：”Dimiter Vakarelov“，”raw_affiliation_strings“：[“保加利亚索菲亚大学数学与计算机科学学院”]，”affiliations“：[{”raw_affiliation_string“：”保加利亚索菲娅大学数学与计算科学学院”，“institution_ids”：[“https://openalex.org/I58918642“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A50666665696“]，”对应的机构ID“：[”https://openalex.org/I192619145“]，”apc_list“：{”value“：3390，”currency“：”USD“，”value_USD“：33九十，”provenance“：”doaj“}，”apc _pay“：null，”has_fulltext“：false，”cited_by_count“：74，”cited_by_percentile_year“：{”min“：96，”max“：97}，“biblio”：{“volume”：“141”，“issue”：“1-2”，“first_page”：“180”，“last_page”：”217“}”，”is _retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9971，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9971，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9962，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9892，”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/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.484607}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.82920194}，{”id“：”https://openalex.org/C27777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.5024574}，{”id“：”https://openalex.org/C20407403，“wikidata”：https://www.wikidata.org/wiki/Q1152398“，”display_name“：”规范形式“，”level“：2，”score“：0.49684003}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.47419554}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.435502}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.41740692}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37219143}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.35140714}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.1250636}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2005.10.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://philarchive.org/rec/GORECF网址，“pdf_url”：https://philpapers.org/archive/GORECF.pdf，“源”：{“id”：https://openalex.org/S4306402130“，”display_name“：”PhilPapers（PhilPaper基金会）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]is_published“：true}]，”最佳位置“：{”is_oa“：true，”登录页面url“：”https://philarchive.org/rec/GORECF网址，“pdf_url”：https://philpapers.org/archive/GORECF.pdf，“源”：{“id”：https://openalex.org/S4306402130“，”display_name“：”PhilPapers（PhilPaper基金会）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]is_published“：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.5}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：27，”referrenced_works“：【”https://openalex.org/W1517654233","https://openalex.org/W1533515579","https://openalex.org/W1536469384","https://openalex.org/W1539618905","https://openalex.org/W1547536896","https://openalex.org/W1552559776网址","https://openalex.org/W1558518027","https://openalex.org/W1603162778","https://openalex.org/W1981936535","https://openalex.org/W1985302977","https://openalex.org/W1991748341","https://openalex.org/W1998532035","https://openalex.org/W2017093277","https://openalex.org/W2019891739","https://openalex.org/W2032543872","https://openalex.org/W2033136385","https://openalex.org/W2037711229","https://openalex.org/W2061003582","https://openalex.org/W2071467583","https://openalex.org/W2111082593","https://openalex.org/W2144612483","https://openalex.org/W2315064349","https://openalex.org/W2580864562","https://openalex.org/W285264636","https://openalex.org/W2950450725","https://openalex.org/W57599773","https://openalex.org/W605421089“]，”related_works“：[”https://openalex.org/W4300101996","https://openalex.org/W4253593777","https://openalex.org/W3101625811","https://openalex.org/W2951497643","https://openalex.org/W2382521049","https://openalex.org/W2338854850","https://openalex.org/W2184239527","https://openalex.org/W2165950148","https://openalex.org/W2144385241","https://openalex.org/W1585007175“]，”ngrams_url“：”https://api.openalex.org/works/W2048154108/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“generalize”：[1]，“and”：[2,37,67,73,84124162]，“extend”：[3,86]，“the”：[4,15,58,68116151154164174]，“class”：[5,16]，“of”：[6,17,29,60,71,98115134139153177]，“Sahlqvist”：[7108]，“formulas”：[8,54,80118136146167]，“in”：[9,33,39122137150168]，“任意”：[10]，“多义词”：[11,31]，“模态”：[12,30]，“语言，“：[13]，”to“：[14,45,51106143182]，”so“：[18]，”调用“：[19]，”归纳“：[20,79100117]，”公式。“：[21]，“收件人”：[22]，“介绍”：[23]，“他们”：[24]，“我们”：[25,43,75,93127160]，“使用”：[26]，“a”：[27,34,47,95112129140]，“表示”：[28]，“语言”：[32170]，“组合”：[35]，“风格”：[36]“：[46]，”better“：[48]，”syntaxic“：[49]，”approach“：[50,70]，”基本”：[52,82165]，“规范”：[53,83166]，“总计。“：[55]，”By“：[56]，”generalizing“：[57]，”method“：[59]，”minimal“：[61]，”evaluations“：[62]，”\u00e0“：[63]，”la“：[64]，”Sahlqvist\u2013van“：65]，”Benthem“：[66]，”topological“：[69]，”Sambin“：[22]，”Vaccaro“：[74]，”prove“：[76]，”that“：[77]，”all“：[78]，”are“：]，“因此”：[85]，“Sahlqvist\u2019s”：[87]，“定理”：[88]，“over”：[89]，“它们。“：[90]，”In“：[91]，”give“：[94]，”simple“：[96]，”example“：[97]，”an“：[99]，”formula“：[101]，”which“：[102]，”is“：[103179]，”not“：[104]，”frame equivalent“：[105]，”any“：[107]，”formula“。“：[109]，”Then，“：[110]，”after“：[111]，”deeper“：[113]，”analysis“：[114]，”as“：[119]，”set-theoretic“：[120]，”operators“：[121]，”描述性“：[123]，”Kripke“：[125]，”frames“：%126]，”ested“：[128]，”something“：[130]，”strong“：[131]，”model-theoretic：[138]，“合适”：[141]，“等价”：[142]，“语法上“：[144]，”simpler“：[145]，”（\u2018primitive”：[147]，“regular”：[148]，“formulas\u2019）“：[149]，”extension“：[152]，”language“：[155]，”with“：[156171180]，”reversive“：/157169]，”models。“：[158]，“最后，”：[159]，“研究”：[161]，“特征化”：[163]，“名词”：[172]，“其中”：[173]，“相关”：[175]，“概念”：[176]，“持久性”：[178]，“尊重”：[181]，“离散”：[183]，“框架”。“：[184]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2048154108“，”counts_by_year“：[{”year“:2024，”cited_by_count“：1}，{”year“：2023，”cited_by_count”：2}，”{“year”：2022，”citecd_by_count“：3}，“{”年“：2021，”citesd_by_count“:7}，，”年“year“:2020，”citted_by-count“:2}，“年份”：2017，“引用_ by_count”：3}，{“年份”:2016，“引用_by_counts”：7}，}“年份“：2015，”引用_ by-count“：8}，{“年份”：2014，“引用_ by_count”：4}，{”年份”：2013，“引用_by_counts”：6}，}”年份“：2012，“引用的_by_cunt”：7}]，“更新日期”：“2024-06-18T15:16:19.908350”，“创建日期”：”2016-06-24“}