｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,7,10]，“日期时间”：“2024-07-10T15:25:16Z”，“时间戳”：1720625116078｝，“引用计数”：24，“发布者”：“爱思唯尔BV”，“许可证”：[｛“开始”：｛“日期部分”：[[2010,9,1]]，“日期时间”：“2010-09-01T00:00:00Z”，“时间戳”：1283299200000｝，“内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.012“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：1283598921000}，‘page’：”197-211“，”source“Crossref”“，”，“is-referenced-by-count”：10，“special_numbering”：“C”，“title”：[“A Unified Display Proof Theory for Bunched Logic”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“给定”：“James”，“family”：“Brotherston”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/j.entcs.2010.012_br0010”，“doi-asserted-by”：“crossref”，“首页”：“375”，“DOI”：“10.1007\/BF00284976”，“article-title”：“显示逻辑”，“卷”：“11”，“作者”：“Belnap”，“年份”：“1982”，“日志标题”：“哲学逻辑杂志”}，{“key”：“101016\/j.entcs.2010.012_br0020”，“DOI-asserted-by”：“crossref”，“非结构化”：“Josh Berdine和Peter O'Hearn。捆绑键入中的强大更新、处理和封装。摘自Proceedings of MFPS，ENTCS.Elsevier，2006.”，“DOI”：“10.1016\/j.ENTCS.2006.04.006”}，{“key”：“101016\/j.entc.2010.08.012_br0030”，“DOI-asserted-by”：“crossref”，“unstructured”：“詹姆斯·布罗瑟斯顿（James Brotherston）和克里斯蒂亚诺·卡尔卡尼奥（Cristiano Calcagno）。经典BI（关于资源二元化的推理逻辑）。《POPL-36学报》，第328\u2013339页，2009年。”，“DOI”：“10.1145\/1594834.1480923”}，{“key”：“101016\/j.entcs.2010.012_br0040”，“DOI-asserted-by”：“crossref”，“unstructured”：“詹姆斯·布罗瑟斯顿（James Brotherston）和马克斯·卡诺维奇（Max Kanovich）。命题分离逻辑及其邻域的不可判定性。发表于2010年《LICS-25学报》。”，“DOI”：“10.1109\/LICS.2010.24”}，{“key”：“101016\/j.entcs.2010.08.012_br0050”，“series-title”：“CiE学报”，“首页”：“65”，“文章-标题”：“深度推理及其派生的正常形式”，“卷”：“卷3988”，“作者”：“Br\u00fcnnler”，“年份”：“2006”}，{“键”：“10.1016\/j.entcs.2010.08.012_br0060”，“doi-asserted-by”：“crossref”，“非结构化”：“Cristiano Calcagno，Philippa Gardner，and Uri Zarfaty。作为模态逻辑的上下文逻辑：完整性和参数不明确性。收录于2007年《POPL-34学报》。”，“doi”：“101145\/1190216.1190236”}，{“key”：“10.1016\/j.entcs.2010.08.012_br0070”，“doi-asserted-by”：“crossref”，“unstructured”：“Bor-Yuh-Evan Chang和Xavier Rival.关系归纳形状分析.In Proceedings of POPL-35，2008.”，“doi”：“101145\/1328438.1328469”}，{：“Wei-Ngan Chin，Cristina David，Huu Hai Nguyen，and Shengchao Qin。使用分离逻辑增强模块化OO验证。在2008年《POPL-35学报》中。”，“DOI”：“10.1145\/1328438.1328452”}，{“issue”：“6”，“key”：“101016\/j.entcs.2010.012_br0090”，“DOI-asserted-by”：“crossref”，“first page”：《1091》，“DOI:”10.1017\/S0901290508007159“article-title”：“聚簇多态性”，“volume”：“18”，“author”：“Collinson”，“year”：“2008”，“journal-title”：“Mathematical Structures in Computer Science”}，{“key”：”10.1016\/j.entcs.2010.08.012_br0100“，”series-title“：”OOPSLA Proceedings“，”first page“：”213“，”article-title“jStar:Towards practical verification for Java“，”author“：”Distefano“，”year“2008”}“，{”key“：“10.1016\/j.entcs.2010.08.012_br0110”，“doi-asserted-by”：“crossref”，“first page”：“1033”，“doi”：“10.11017\/S0960129505004858”，“article-title”：“BI和资源表的语义”，“volume”：：“15”，“author”：“Galmice”，“year”：“2005”，“journal-title“：”“计算机科学中的数学结构”}，{“key”：0英寸，“doi-asserted-by”：“crossref”，“unstructured”：“Didier Galmiche和Dominique Larchey-Wendling.布尔BI通过关系模型的表达属性。摘自《FSTTCS学报》，2006年。”，“doi”：“10.1007\/11944836_33”}，{“issue”：“5”，“key”：“101016\/j.entcs.2010.012_br0130”：“10.1093\/jigpal\/6.5.669”，“article-title”：“Gaggles，Gentzen and Galois:How to display your favority substructure logic”，“volume”：“6”，“author”：“Gor\u00e9”，”year“：“1998”，“journal-title“：IGPL的逻辑杂志”}，{“key”：《10.1016\/j.entcs.2010.012_br0140》，“doi-asserted-by”：“crossref”，“unstructured”：“Samin Ishtiaq and Peter W。奥赫恩。BI作为可变数据结构的断言语言。在《POPL-28学报》，2001年。“，”DOI“：”10.1145\/360204.375719“}，{“key”：“10.1016\/j.entcs.2010.08.012_br0150”，“series-title”：“模态逻辑证明理论”，“first page”：”93“，”article-title“：“模态显示演算的力量和弱点”，“author”：“Kracht”，“year”：“1996”}，“key“：”101016\/j.entc.2010.08.012_br 0160“，”DOI-as serted-by“：”crossref“，”首页“：”1“，”DOI“：”10.1017\/S096012909007567“，”article-title“：”探索直觉主义BI和布尔BI之间的关系：意外嵌入“，”volume“：”19“，”author“：”Larchey-Wendling“，”year“：”2009“，”journal-title”：“计算机科学中的数学结构”}，{“key”：“10.1016\/j.entcs.2010.08.012_br0170”，“DOI-asserted-by”：“”crossref“，”unstructured“：”多米尼克·拉切·温德林（Dominique Larchey-Wendling）和迪迪尔·加尔米奇（Didier Galmiche）。布尔BI通过阶段语义的不可判定性。出现在LICS-25，2010年的会议记录中。“，”DOI“：”10.1109\/LICS.2010.18“}，{“issue”：“2”，“key”：“10.1016\/j.entcs.2010.08.012_br0180”，“DOI-asserted-by”：“crossref”，“first page”：第215页，“DOI”：“10.2307\/421090”，“article-title”：“集群含义的逻辑”，“volume”：”5“，“author”：“O'Hearn”，“year”：“1999”，“journal-title“：《符号逻辑公报》}，{”key“：”10.1016\/j.entcs.2010.08.012_br0190“，”doi-asserted-by“：”crossref“，”article-title“：”捆绑蕴涵逻辑的语义和证明理论“，”author“：”Pym“，“year”：“2002”，”doi“：”101007\/978-94-017-0091-7“}，{“issue”：“1”，“key”：“10.1016//j.entc.2010.08.012_br 0200”，“doi-assert-by”：“crossrref”，“首页”：“257”，“doi”：“10.1016\/j.tcs.2003.11.20“，”article-title“：“可能的世界和资源：BI的语义”，“卷”：“315”，“作者”：“皮姆”，“年份”：“2004”，“期刊标题”：“理论计算机科学”}，{“key”：“10.1016\/j.entcs.2010.012_br0210”，“series-title”：“相关逻辑：哲学检验”，“author”：“阅读”，“年”：“1987”}、{“密钥”：“”10.1016\/j.entcs.2010.08.012_br0220“，”非结构化“：”杰森·里德。《混合逻辑框架》，卡内基梅隆大学博士论文，2009年。“}，{”key“：”10.1016\/j.entcs.2010.08.012_br0230“，”doi-asserted-by“：”crossref“，”first-page“：”179“，“doi”：“10.1023\/A:1017998605966”，“article-title”：“显示决定子结构逻辑1:对位逻辑”，“volume”：“27”，“author”：“Restall”，“year”：“1998”，“journal-title“：”journal of Philosophical Logic“}，{“key”：“10.1016\/j.entcs.2010.08.012_br0240”，“doi-asserted-by”：“crossref”，“unstructured”：“John C.Reynolds.分离逻辑：共享可变数据结构的逻辑。收录于第17届LICS，2002年。”，“doi”：“101109\/LICS.2002.1029817”}]，“container-title”：[“理论计算机科学电子笔记“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000915？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000915？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,6,3]]，“date-time”：“2019-06-03T15:21:07Z”，“timestamp”：1559575267000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/S1577 1066110000915“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2010,9]]}，”references-count“：24，”alternative-id“：[”S1571066110000915“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2010.08.012“，”relation“：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“value”：“1571-661”，“type”:“print”}]，“subject”：【]，“已发布”：{“日期部分”：[[2010,9]]}}}