｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,7,25]，“日期时间”：“2024-07-25T15:56:44Z”，“时间戳”：1721923004696｝，“引用计数”：30，“发布者”：“爱思唯尔BV”，“发布”：“11”，“许可证”：[｛“开始”：｛“日期部分”：[[2019,11,1]]，“日期时间”：“2019-11-01T00:00:00Z”，“时间戳“：1572566400000｝，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“开始”：{“date-parts”：[[2023,11,1]]，“date-time”：“2023-11-01T00:00:00Z”，“timestamp”：1698796800000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier.com/open-access\/userlicense\/1.0\/“}，{“start”：{“date-parts”：[[2019,11,1]]，“date-time”：“2019-11-01T00:00:00Z”，“timestamp”：157256640000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-017”}，{“start”：{“date-parts”：[[2019,11,1]]，“datetime”：“2017 9-11-01T1T00:00Z”，delay-in-days“：0，”URL“：“https:\/\/doi.org\/10.15223\/policy-037”}，{“start”：{“date-parts”：[[2019,11,1]]，“date-time”：“2019-11-01T00:00:00Z”，“timestamp”：157256640000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“http:\/\/doi.org\/10.15223\/policy-012”}]]，“日期时间”：“2019-11-01T00:00:00Z”，“时间戳”：1572566400000}，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期部分”：[[2019,11,1]]，“日期时间”：“2019-11-01T00:00:00Z”，“时间戳”：1572566400000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-004”｝]，“资助者”：[｛“doi”：“10.13039\/50101100003246”，“名称”：“荷兰组织voor Wetenschappelijk Onderzoek”，“doi-asserted-by”：“出版商”，“奖项”：[“639.073.807”]，“id”：[{“id”：“10.13039\/501100003246”，“id类型”：“doi”，“asserted by”：“publisher”}]}]，“内容域”：{“域”：[”elsevier.com“，”sciencedirect.com“]，“交叉标记限制”：true}，“shortcontainer”title“：[《纯粹与应用逻辑年鉴》]，“published-print”：{“date-parts”：[[2019,11]]}，“DOI”：“10.1016\/j.apal.2019.05.008”，“type”：“journal-article”，“created”：{“date-parts”：[2019,6,3]]，“date-time”：“2019-06-03T17:22:05Z”，“timestamp”：1559582525000}，”page“：”102711“update-policy”：”http://\/dx.DOI.org elsevier_cm_policy“，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“统一插值和序列计算的存在”]，“前缀”：“10.1016”，“卷”：“170”，“作者”：[{“给定”：“罗莎莉”，“家族”：“Iemhoff”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“问题”：“3”，“键”：“101016\/j.apal.2019.05.008_br0020”，“doi-asserted-by”：“crossref”，“首页”：“455”，“doi”：“10.1017\/S175502031400015X”，“article-title”：“子结构逻辑中的统一插值”，“volume”：“7”，“author”：“Alizadeh”，“year”：“2014”，“journal-title“：Rev.Symb.Log.”}，{“key”：”10.1016\/j.apal.2019.05.008_br0040“，“series-title”：”Term Rewriting and All That“，”author“：”Baader“，”year“：”1998“}，“key“：”10.116\/j-apal.2019.5008_br0050“，“连续时间”：“模态2方法的程序集”，“article-title”：“基本构造模态逻辑的扩展Curry\u2013Howard通信”，“author”：“Bellin”，“year”：“2001”}，{“issue”：“3”，“key”：“10.1016\/j.apal.2019.05.008_br0060”，“doi-asserted-by”：“crossref”，“first page”：：“关于直觉主义模态逻辑”，“卷”：“65”，“作者”：“Bierman”，“年份”：“2000”，“新闻标题”：“Studia Logica”}，{“key”：“10.1016\/j.apal.2019.05.008_br0070”，“series-title”：“模态逻辑内插”，“author”：“B\u00edlkov\u00e1”，“year”：“2006”}8_br0080“，”doi-asserted-by“：”crossref“，”首页“：“259”，“DOI”：“10.1007”，“s11225-007-9021-5”，“article-title”：“模态逻辑中的统一插值和命题量词”，“volume”：“85”，“author”：“B\u00edlkov\u00e1”，“year”：“2007”，“journal-title“：”Studia Logica“}”，{“issue”：“3”，“key”：”10.1016\/j.apal.2019.05.008_br0090“，”DOI-asserted-by“：”crossref“，“first page”：“217”，“DOI”：“10.1007\/BF02429840”，“article-title”：“正常直觉主义模态逻辑的模型”，“volume”：“43”，“author”：“Bo\u017ei\u0107”，“year”：“1984”，“journal-title:”Studia Logica“}，{“key”：”10.1016\/j.apal.2019.05.008_br0100“，”doi-asserted-by“：”crossref“，”first page“：”465 ings“，”卷“：“22”，“author”：“Dershowitz”，“year”：“1979”，“journal-title”：“Commun.ACM”}，{“issue”：“1”，“key”：“10.1016\/j.apal.2019.05.008_br0110”，“doi-asserted-by”：“crossref”，“first-pages”：“39”，“doi”：“101007\/BF00370809”，“article-title）：“更强的正常直觉主义模态逻辑模型”，“volume”：”44“，“author”：“Do\”u0161en“，”年份“：”1985“，”新闻标题“：“Studia Logica”}，{“issue”：“3”，“key”：“10.1016\/j.apal.2019.05.008_br0120”，“doi-asserted-by”：“crossref”，“首页”：“795”，“doi”：“10.2307\/2275431”，“article-title”：“直觉主义逻辑的无收缩序列计算”，“volume”：”57“author”：“Dyckhoff”，”year“1992”，“journal-title“：”j.Symbolic logic“}”，{“密钥”：“10.1016\/j.apal.2019.05.008_br0140”，“doi-asserted-by”：“crossref”，“first page”：“259”，“doi”：“10.1007\/BF01061237”，“article-title”：“模态系统S4中命题量词的不确定性”，“volume”：”55“，”author“：”Ghilardi“，”year“1995”，“journal-title“：”Studia Logica“}，{”key“10.1016”：“2019.05.008 _br015”0“，”文章标题“：“Sheeves Games，and Model Completions:A Categorical Approach to Non-classical Propositional Logics”，“author”：“Ghilardi”，“year”：“2002”}，{“key”：“10.1016\/j.apal.2019.05.008_br0160”，“doi-asserted-by”：“crossref”，“unstructured”：“S.van Gool，G.Metcalfe，C.Tsinakis，统一插值与紧同余（2016）提交，https:\/\/doi.org\/10.1016\/j.apal.2017.05.001.“，”doi“：”10.1016\/j-apal.201705.001“}，{“key”：“10.1016\/j.apal.2019.05.008_br0170”，“unstructured”：“j.Hudelmaier，直觉主义命题逻辑Prolog程序，T\u00fcbingen，1988，SNS-Bericht 88\u201328.”}，“key“：”1016\/j.apal.2019.05.008 _br017 80“，”doi-asserted-by“：”crossref“，”first page“：”331“，”DOI“：”10.1007 \/BF01627506“，”article-title“：”直觉主义命题逻辑中消去割的界限“，”volume“：“31”，”author“：”Hudelmaier“，”year“：”1992“，”journal-title”：“Arch。数学。逻辑“}，{”key“：”10.1016\/j.apal.2019.05.008_br0190“，”doi-asserted-by“：”crossref“，”first page“：“63”，“doi”：“10.1093\/logcom\/31.63”，“article-title”：“An O（nlogn）\u2013直觉主义命题逻辑空间决策程序”，“volume”：“3”，”author“：”Hudelmaier“，”year“1993”，“journal-title“：”j.Logic Compute.“}”，{“issue”：“1-2”，“键”：“10.1016\/j.apal.2019.05.008_br0200“，”doi-asserted-by“：”crossref“，”first page“：”155“，“doi”：“10.1007\/s00153-018-0629-0”，“article-title”：“模态逻辑中的统一插值和顺序计算”，“volume”：“58”，“author”：“Iemhoff”，“year”：“2019”，“journal-title“：”Arch。数学。逻辑“}，{“问题”：“7”，“关键”：“10.1016\/j.apal.2019.05.008_br0210”，“doi-asserted-by”：“crossref”，“首页”：“1701”，“doi”：“101093\/logcom\/exy026”，“文章标题”：“终止两个直觉主义模态逻辑的顺序计算”，“卷”：“28”，“作者”：“Iemhoff”，“年份”：“2018”，“日志标题”：，{“问题”：“2”，“密钥”：“10.1016\/j.apal.2019.05.008_br0220“，”doi-asserted-by“：”crossref“，”first page“：”529“，”doi“：”10.2307\/2275545“，”article-title“：”On the complexity of proposition quantification in intuistics logic“，”volume“：“62”，”author“：”Kremer“，”year“1997”，”journal-title”：“j.Symbolic logic”}，{“key”：“10.1016\\j.apal.2019.05.008 _br0230”，“series”title“：”Leo Esakia谈模态逻辑和直觉主义逻辑中的二重性。对逻辑学4的杰出贡献“，“首页”：“179”，“文章标题”：“具有可证明性的构造模式”，“作者”：“Litak”，“年份”：“2014”}，{“问题”：“6”，“关键”：“10.1016\/j.apal.2019.05.008_br0250”，“doi-asserted-by”：“crossref”超直觉逻辑中的克雷格定理和伪布尔代数的合并变种”，“卷”：“16”，“作者”：“Maksimova”，“年份”：“1977”，“期刊标题”：“代数逻辑”}，{“问题”：“1”，“关键”：“10.1016\/j.apal.2019.05.008_br0270”，“doi-asserted-by”：“crossref”，“首页”：“33”，“doi”：“10.2307\/2275175”，“文章标题”：关于一阶直觉主义命题逻辑中二阶量化的解释”，“卷”：“57”，“作者”：“皮特斯”，“年份”：“1992”，“新闻标题”：“符号逻辑”}，{“问题”：“4”，“关键”：“10.1016\/J.apal.2019.05.008_br0280”，“doi-asserted-by”：“crossref”，“首页”：“531”，“doi”：“101305\/ndjfl\/103911868”，“文章时间”：“皮特的量词不是拓扑量化“，”卷“：”39“，”作者“：”Po\u0142acik“，”年份“：”1998“，”期刊标题“：”圣母院J.Form.Log。“｝，｛”key“：”10.1016\/j.apal.2019.05.008_br0300“，”文章标题“：”包含算术的理论的对角化代数的子代数“，”卷“：”第323卷“，”作者“：”Shavrukov“，”年份“：”1993“｝，｛”key“：”10.1016\/j.apal.2019.05.008_br0310“，”系列标题“：”直觉模态逻辑的证明理论和语义“，”作者“：”Simpson“，”年份“：”1994“｝，{“key”：“10.1016\/j.apal.2019.05.008_br0330”，“article-title”：“模型描述和命题量词”，“卷”：“vol.161”，“author”：“Visser”，“year”：“1996”}，{”key“：”10.1016\\j.apal.2019.05.008 _br0340“，”series-title“：”G\u00f6del’96，数学、计算机科学和物理的逻辑基础：“139”，“article-title”：“统一插值和分层互模拟”，“卷”：“第6卷”，“author”：“Visser”，“year”：“1996”}，{“key”：“10.1016\/j.apal.2019.05.008_br0350”，“首页”：“689”，“article-title”：“带强否定的构造命题演算中的可导性问题”，“体积”：“85”，“作者”：“沃罗布夫”，“年份”：“1952”，“journal-title”：“Dokl.Akad.Nauk SSSR”}，{“key”：“10.1016\/j.apal.2019.05.008_br0360”，“series-title”：”AMS Translations Ser.2，vol.94“，“首页”：“37”，“article-title“：”构造命题演算中可导性的新算法“，”author“：”Vorob'ev“，”year“：”1970“}，”{“key“：”10.1016\\j.apal.2019.05.008 _br0370“，”series蒂尔”：“逻辑与数学基础。综合图书馆”，“首页”：“227”，“文章标题”：“直觉主义模态逻辑”，“卷”：“卷280”，“作者”：“沃尔特”，“年份”：“1999”}]，“容器标题”：[“纯逻辑与应用逻辑年鉴”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007219300624？httpAccept=text\.xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsdevier.com\/content\/artracle\/PII：S0168007219300624？httpAccept=text\/plain”，“内容类型”：“文本\/plaine”，“content-vers”离子“：”vor“，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2024,4,6]]，“date-time”：“2024-04-06T01:48:49Z”，“timestamp”：1712368129000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007219300624”}}，”subtitle“：[]，“shorttitle”：[]date-parts“：[[2019,11]]}，”references-count“：30，“日志问题”：{“问题”：“11”，“发布-打印”：{“日期-部分”：[[2019,11]]}}，“替代id”：[“S0168007219300624”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2019.05.008”，“关系”：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”value“：”0168-20072“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[[2019,11]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：“统一插值和序列演算的存在”，“name”：“articletitle”，“table”：“article Title”}，{”value“：“Pure and Applied Logic年鉴”，“name”：“journalittle”，”label“：”Journal Title“}，”value：“CrossRef DOI链接到出版商维护的版本”}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}