{“id”：“https://openalex.org/W2088922614“，”doi“：”https://doi.org/10.1080/0207160701210141“，”title“：”泛化函数时态\u00d7模态逻辑上下文中关系的某些属性“，”display_name“：”在函数时态\ u00d7modal逻辑上下文中泛化关系的某些性质“，”publication_year“：2008，”publitation_date“：”2008-04-01“，”ids“：{”openalex“：”https://openalex.org/W2088922614“，”doi“：”https://doi.org/10.1080/00207160701210141“，”mag“：”2088922614“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1080/00207160701210141“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S124867444“，”display_name“：”国际计算机数学杂志/国际计算机数学期刊“，”issn_l“：”0020-7160“，”isn“：[”0020-71“，”1026-7425“，”1024-0265“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320547“，”“host_organization_name”：“Taylor&Francis”，“host_organization_lineage”：[“https://openalex.org/P4310320547“]，”host_organization_lineage_names“：[”Taylor&Francis“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，ory_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5019787734“，”display_name“：”Alfredo Burrieza“，”orcid“：”https://orcid.org/0000-0002-2033-6033}，“机构”：[{“id”：https://openalex.org/I82767444“，”display_name“：”M\u00e1laga大学“，”错误“：”网址：https://ror.org/036b2ww28“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I82767444“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”A.Burrieza“，”raw _affiliation_strings“：[“西班牙M\u00e1laga大学Filosof\u00eda系”]，”affiliations“：[{”raw _affiliation_string“：”西班牙M\u 00e1Laga大学Fillosof\u 00ed A系”，“institution_ids”：[“https://openalex.org/I82767444“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5089231763“，”display_name“：”Inma P.de Guzm\u00e1n“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I82767444“，”display_name“：”M\u00e1laga大学“，”错误“：”https://ror.org/036b2ww28“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I82767444“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”I.P.De Guzm\u00e1n“，”raw _ afiliation_strings“：[“西班牙M大学Matem\u00e 1tica Aplicada系”，“afliations”：[{https://openalex.org/I82767444“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5010550710“，”display_name“：”Emilio Mu\u00f1oz\u2010Velasco“，”orcid“：”https://orcid.org/0000-0002-0117-4219}，“机构”：[{“id”：https://openalex.org/I82767444“，”display_name“：”M\u00e1laga大学“，”错误“：”https://ror.org/036b2ww28“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I82767444“]}]，”国家“：[”ES“]，”is_corresponding“：true，”raw_author_name“：”E.Mu\u00f1oz-Velasco“，”raw _ afiliation_strings“：[“西班牙M大学Matem\u00e1tica Aplicada系”]，“affiliations”：[{“raw_affiliation_string”：“西班牙M高校Matem\u 00e1ica Aplicada部”，“institution_ids”：[”https://openalex.org/I82767444“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5010550710“]，”对应的机构ID“：[”https://openalex.org/I82767444“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.683，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”citecd_by_percentile_year“：{”min“：79，”max“：81}，”biblio“：{“volume”：“85”，“issue”：“3-4”，“first_page”：“371”，“last_page”：”383“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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.9991，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.555696}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.537435}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.500319}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6611781}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841（网址：https://www.wikidata.org/wiki/Q210841）“，”display_name“：”模态逻辑“，”level“：3，”score“：0.6296916}，{”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.602285}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.6000911}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.5980802｝，｛”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.58686113}，{”id“：”https://openalex.org/C191399111，“wikidata”：https://www.wikidata.org/wiki/Q64861“，”display_name“：”传递关系“，”level“：2，”score“：0.55727434}，{”id“：”https://openalex.org/C86602344，“wikidata”：https://www.wikidata.org/wiki/Q7667918“，”display_name“：”T-范数模糊逻辑“，”level“：5，”score“：0.5416859｝，｛”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.53952277}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.5324928}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”普通模态逻辑“，”level“：4，”score“：0.52662665}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.47988358}，{”id“：”https://openalex.org/C78344899，“wikidata”：https://www.wikidata.org/wiki/Q638442“，”display_name“：”模态运算符“，”level“：4，”score“：0.4703225}，{”id“：”https://openalex.org/C192609573，“wikidata”：https://www.wikidata.org/wiki/Q7388341“，”display_name“：”S5“，”level“：5，”score“：0.4482008}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.43571934}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.41919002}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3701954}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.35106272}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.33645177｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.30909562}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.1581431}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”等级“：1，”分数“：0.14085144}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.114497334}，{”id“：”https://openalex.org/C58166，“wikidata”：https://www.wikidata.org/wiki/Q224821“，”display_name“：”模糊逻辑“，”level“：2，”score“：0.08996984}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.086776674}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.07340345}，{”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/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C5263885，“wikidata”：https://www.wikidata.org/wiki/Q1967302“，”display_name“：”成员函数“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C42011625，“wikidata”：https://www.wikidata.org/wiki/Q1055058“，”display_name“：”模糊集“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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.1080/00207160701210141“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S124867444“，”display_name“：”国际计算机数学杂志/国际计算机数学期刊“，”issn_l“：”0020-7160“，”isn“：[”0020-71“，”1026-7425“，”1024-0265“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320547“，”host_organization_name“：”Taylor&Francis“，”host_organization_lineage“：[”https://openalex.org/P4310320547“]，”host_organization_lineage_names“：[”Taylor&Francis“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：10，“referrenced_works”：https://openalex.org/W1506588809","https://openalex.org/W1539708367","https://openalex.org/W1576053624","https://openalex.org/W1577647570","https://openalex.org/W1977167711","https://openalex.org/W1988751016","https://openalex.org/W2026960406","https://openalex.org/W2040022302","https://openalex.org/W26772505","https://openalex.org/W55860263“]，”related_works“：[”https://openalex.org/W4386558022","https://openalex.org/W4377031878","https://openalex.org/W4296343651","https://openalex.org/W3122667086","https://openalex.org/W2175984923","https://openalex.org/W2123071520网址","https://openalex.org/W2087078176","https://openalex.org/W2077061463","https://openalex.org/W1566488688","https://openalex.org/W1537541219“]，”ngrams_url“：”https://api.openalex.org/works/W2088922614/ngrams“，”abstract_inverted_index“：｛”abstract“：[0]，”In“：[1]，”this“：[2]，”paper“：[3]，”we“：[4，49]，”generalize“：[5]，”the“：[6，19，32，56，99107]，”definitions“：[7，38]，”of“：[8，16，21，34，36,58101109]，”传递性“：[9]，”自反性“：[10]，”对称性“：[11]，”欧几里得“：[12]，”和“：[131061334]，“序列”：[14]，“属性”：[15105]，“关系”：[17,89]，“in“：[18,52,78117]，”context“：[20,55]，”a“：[22,47]，”functional“：[23]，”approach“：[24]，”for“：[25112]，”temporal\u00d7modal“：[26,54]，”logic。“：[27]，”The“：[28]，”main“：[29]，”result“：[30]，”is“：[31,40,96]，”proof“：[33]，”definitibility“：[35]，”these“：[37104113]，”which“：[39,82]，”getated“：[41]，”by“：[42129]，”using“：[43]，”algebratical“：[44]，”characterizations。“：[45]，”As“：[46]，”success“：[48]，”will“：[50,69]，”have“：[51]，”our“：/53]，”generalizations“：[57]，”modal“：[59]，”logics“：60,68102]，”T“：[61]，”S4“，”：[62]，”S5“：[63]，”KD45“：[64]，”etc.“：[65]，”These“：[66]，”new“：/67]，”allow“：[70]，“我们”：[71,84]，“到”：[72,85]，“建立”：[73]，“连接”：[74]，“中间”：[75,90]，“时间”：[76]，“流”：[77]，“非常”：[79]different“：[80,88]，”ways“，：[81]，”enables“：[83]，”carry“：[86]，”out“：[87]，”异步“：[91]，”systems。“：[92]，“我们的”：[93]，“进一步”：[94]，“研究”：[95]，“关注”：[97]，“关于”：[98]，“构造”：[100]，“with”：[103]，“设计”：[108]，“定理”：[110]，“证明者”：[111]，“逻辑”。“：[114]，”关键词：“：[115]，”DefinabilityLogic“：[116]，”computer“：[118]，”scienceModal“：[119]，”logicTemporal“：[120]，”逻辑“：[121]，”确认“：[122]，”This“：[123]，”work“：/124]，”has“：[125]，”been“：[126]，”partial“：127]，”supported“：[128]，”西班牙语“：[130]，”projects“：131]，”TIC2003-09001-C02-01，“”：[132]，“TIN2006-15455-C03-01”：[133]，“TIC2003-08687-C02-01.“：[135]，”注释“：[136]，”1“：[137]，”表示法“：[138]，”\ud835\udc9eod“：[139]，”来源“：[140]，”来自“：[141]，”密码域。“：[142]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2088922614“，”counts_by_year“：[{”year“:2012，”cited_by_count“：1}]，”updated_date“：”2024-06-29T01:11:33.154029“，”created_date:“2016-06-24”}“