{“id”：“https://openalex.org/W2160449623“，”doi“：”https://doi.org/10.2178/jsl/1174668382“，”title“：”Linear Kripke frames and G\u00f6del logics“，”display_name“：”Linear Krispke frames and G\u 00f6Del logics“，”publication_year“：2007，”publiction_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W2160449623“，”doi“：”https://doi.org/10.2178/jsl/1174668382“，”mag“：”2160449623“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668382“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5084524620“，”display_name“：”Arnold Beckmann“，”orcid“：”https://orcid.org/0000-0001-7958-5790“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Arnold Beckmann“，”raw_affiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5036161813“，”display_name“：”Norbert Preining“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”raw _affiliation_strings“：[/]，”affiliations“：【】}】，“institution_assertions”：【】，“countries_distiction_count”：0，“corresponding_author_ids”：【]，“correconding_institution_id”ds“：[]，”apc_list“：null，”apc_payed“：nul，”fwci“：3.449，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：22，”citation_normalized_percentile“：{”value“：0.784616，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，”cited_by_percentile_year“：{“min”：88，“max”：89}，“biblio”：{“volume”：“72”，“issue”“：”1“，”first_page“：”26“，”last_page“：”44“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9981，”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.9981，”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.9955，”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.9904，“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/cripke-semantics（https://openalex.org/keywords/cripke-semantics）“，”display_name“：”Kripke语义“，”score“：0.70919675｝，｛”id“：”https://openalex.org/keywords/kripke-structure网站“，”display_name“：”Kripke结构“，”score“：0.5594158}，{”id“：”https://openalex.org/keywords/谓词“，”display_name“：”谓词（数学逻辑）“，”score“：0.50359935}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.50358}，{”id“：”https://openalex.org/keywords/constant网站“，”display_name“：”常量（计算机编程）“，”score“：0.4668525}]，”concepts“：[{”id“：”https://openalex.org/C110729354，“wikidata”：https://www.wikidata.org/wiki/Q185478“，”display_name“：”可数集合“，”level“：2，”score“：0.7789104}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7563101}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.70919675}，{”id“：”https://openalex.org/C161913894，“wikidata”：https://www.wikidata.org/wiki/Q1077740“，”display_name“：”Kripke structure“，”level“：3，”score“：0.5594158}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.50359935}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47411233}，{”id“：”https://openalex.org/C2777027219，“wikidata”：https://www.wikidata.org/wiki/Q1284190“，”display_name“：”常量（计算机编程）“，”level“：2，”score“：0.4668525}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.42316237}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.3762748｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3647776}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.13690144}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.13541141}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.08534649}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.08513281}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.044350654}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.043208838｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”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/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”Polymer chemistry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668382“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：〔〕，“versions”：[〕，“referenced_works_count”：37，“referenced_works“：[”https://openalex.org/W1508227203","https://openalex.org/W1516119557","https://openalex.org/W1539382740","https://openalex.org/W1555991696","https://openalex.org/W1564327923","https://openalex.org/W1611875164","https://openalex.org/W1699512023","https://openalex.org/W1883540685","https://openalex.org/W1963657007","https://openalex.org/W1970249071","https://openalex.org/W1971043428","https://openalex.org/W1971314708","https://openalex.org/W1972429097","https://openalex.org/W1978651524","https://openalex.org/W1998447124","https://openalex.org/W2008897582","https://openalex.org/W2016280880","https://openalex.org/W2038216920","https://openalex.org/W2054046573","https://openalex.org/W2073714748","https://openalex.org/W2075277371","https://openalex.org/W2082736027","https://openalex.org/W2085722670","https://openalex.org/W2096482476网址","https://openalex.org/W2110182592","https://openalex.org/W2150732096","https://openalex.org/W2163197731","https://openalex.org/W2165622550","https://openalex.org/W2551720480","https://openalex.org/W2969873114","https://openalex.org/W2970205057","https://openalex.org/W3152800724","https://openalex.org/W4213130966","https://openalex.org/W4230295967","https://openalex.org/W4388311772网址","https://openalex.org/W54230469","https://openalex.org/W590934608“]，”related_works“：[”https://openalex.org/W4256440757","https://openalex.org/W4251538115","https://openalex.org/W2913802826","https://openalex.org/W2521115099","https://openalex.org/W2403418519","https://openalex.org/W2140743943","https://openalex.org/W2130098903","https://openalex.org/W2004665970","https://openalex.org/W1599533611","https://openalex.org/W103108516“]，”abstract_inverted_index“：{”abstract“：[0]，”We“：[1,21,72]，”investive“：[2]，”the“：[3,37,94]，”relation“：[4]，”between“：[5]，”intermediate“：[6]，”predicate“：[7]，”logics“：[8,60,62,80,98]，”based“：[9,63,81]，”on“：[10,44,58,64,82105]，”countable“：[11,65,83101]，”linear“：[12,66,84102]，“克里普克”：[13,27,42,67,85103]，“帧”：[14,68,86104]，“带有“：[15,36,69,87]，“常量”：[16,45,70,88106]，“域”：[17,46107]，“和”：[18,47]，“G\u00f6del”：[19,32,59]，“逻辑。“：[20]，”show“：[22]，”that“：[23,93]，”for“：[24]，”any“：[25]，”such“：[26]，”frame“：[28,43]，”there“：[29]，”is“：[30108]，”a“：[31,74]，”logic“：[33,38]，”which“：[34]，”considens“：[35]，”defined“：[39,99]，”by“：[40100]，”this“：%41]，”vice“：[48]，”反之亦然●●●●。“：[49]，”此“：[50]，”允许“：[51]，”我们“：[52]，”到“：[53,61]，”转移“：[54]，”多个“：[55]，”最近“：[56]，”结果“：[57]，”域：“：[71]，”获取“：[73,92]，”完成“：[75]，”特征化“：[76]，”的“：[77,79,97]，”公理化“：%78]，”领域。“：[89]，”此外，“：[90]，”我们“：[91]，”总数“：[95]，”数字“：[96]，”可数。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2160449623“，”counts_by_year“：[{”年“：2022，”cited_by_count“：2}，{”年份“：2019，”cited_by_count”：1}，“年份”：2016，”citecd_by_count“：2}，”{“年”：2014，”citted_by_count“:1}]，”updated_date“：”2024-09-16T13:02:34.980000“，”created_dated“：”2016-06-24“}”