{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,2]，“日期-时间”：“2024-03-02T08:19:44Z”，“时间戳”：1709367584038}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：30，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“用法：[]，“published-print”：{“date-parts”：[[2009,1,21]]}，“DOI”：“10.1145\/1480881.1480923”，“type”：“proceedings-article”，“created”：{“date-parts”：[2009,1,20]]，“date-time”：“2009-01-20T14:41:38Z”，“timestamp”：1232468000}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：“Crossref”，“is-referenced-by-count”：3，“title”：[“Classical BI”]，“前缀”：“10.1145”，“作者”：[{“给定”：“詹姆斯”，“家庭”：“布罗瑟斯顿”，“序列”：“第一”，“从属关系”：[[{”名称“：“英国伦敦帝国理工学院”}]}，{“给出”：“克里斯蒂亚诺”，“家族”：“加尔卡尼奥”，“顺序”：“附加”，“附属关系”：[{”姓名“：”英国伦敦帝国学院“}]}]，“成员”：“320”，“在线发布”：{“date-parts”：[[2009,1,21]]}，“reference”：[{“key”：“e_1_3_2_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BF00284976“}，{“key”：”e_1_ 3_2_1_2_1“，”doi-assert-by“：”publisher“，ref“，”doi“：”10.1017\/CBO9781107050884“，”volume-title“：”模态逻辑“，”作者“：“Blackburn Patrick”，“year”：“2001”，“unstructured”：“Patrick Blackbuurn，Maarten de Rijke，and Yde Venema.Modal Logic.剑桥大学出版社，2001.Patrick Brackburn，Maarte de Rijker，and YdeVenema.Modal Logic.Cambridge University Press，2001.”}，{“key”：“e_1_3_2_1_4_1”，“doi-asserted-by”：“publisher”，”doi“10.1145\/1040305.1040327”}，{“key”：“e_1_3_2_1_6_1”，“volume-title”：“集群含义的经典逻辑。在CL&C非正式会议记录中”，“author”：“Brotherston James”，《年份》：“2008年”，“非结构化”：“James Brotherstone and Cristiano Calcagno。集群含义的古典逻辑。在2008年CL&C的非正式会议记录，ICALP卫星研讨会；可从http://www.doc.ic.ac.uk\/~jbrother获取，2008年。詹姆斯·布罗瑟斯顿和克里斯蒂亚诺·加尔卡尼奥。串含义的经典逻辑。在2008年CL&C非正式会议记录中，ICALP卫星研讨会；可从http://www.doc.ic.ac.uk获得，2008.“}，{”key“：”e_1_3_2_1_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1480881.1480917”}，“key”：“e_1_ 3_2_1 _8_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1190216.1190236“}“：”publisher“，”doi“：”10.5555\/2391451.2391468“}，{”key“：”e_1_3_2_1_10_1“，“doi-asserted-by“：”publisher“，”doi“：”10.1145 \/1328438.1328469“}，{“key”：“e_1_3_2_11_1”，“doi-assert-by”：“publisher”，“doi”：“10.1145 \/1328438.1328452”}，“key“：”e_1_ 3_2_12_1“，”doi-asserted-by“doi-asserted-by“：”publisher“，”doi“：”10.1145\/1449764.1449782“}，{”key“：”e_1_3_2_14_1“，”series-title“：”LNAI“，”first page“：“466”，”volume-title“：”LPAR Proceedings“，”author“：”Donnelly Kevin“，“year”：“2004”，”unstructured“：”Kevin Donnelly、Tyler Gibson、Neel Krishnaswami、Stephen Magill和Sungwoo Park。串含义逻辑的逆方法。《LPAR 2004会议录》，LNAI第3452卷，第466-480页。Springer-Verlag，2005年。Kevin Donnelly、Tyler Gibson、Neel Krishnaswami、Stephen Magill和Sungwoo Park。组合含义逻辑的逆方法。《LPAR 2004会议录》，LNAI第3452卷，第466-480页。Springer-Verlag，2005.“}，{”key“：”e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.2307\/2214128”}，“key”：“e_1_ 3_2_16_1”，“doi-assert-by”：“publisher”，”doi“：”10.1017\/S090129505004858“}”，{44836_33“}，{“键”：“e_1_3_2_18_1”，“非结构化”：“让-伊夫·吉拉德。线性逻辑：它的语法和语义。吉恩·伊夫·吉拉德。线性逻辑：它的语法和语义。“}，{”key“：”e_1_3_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/212876”}，“key”：“e_1_ 3_2_1_20_1”，“series-title”：“LNCS”，“首页”：“198”，”volume-title“：”CSL’96会议记录“，”author“：”Gore Rajeev“，‘年份’：“1997”，“非结构化”：“拉杰夫·戈尔。关系代数的无割显示计算。《1996年CSL会议录》，LNCS第1258卷，第198-210页，1997年。拉杰夫·戈尔。关系代数的无割显示计算。在《1996年CSL学报》，LNCS第1258卷，第198-210页，1997年。由“：”publisher“，”doi“：”10.1145\/360204.375719“}插入，{”key“：”e_1_3_2_1_24_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-70545-1_34”}，{“key”：“e_1_m_2_1_25_1”，”doi-assert-by“：”publisher“，”doi“：”10.2307\/421090“}，“key“：”e_1_se_3_21_26_1“e_1_3_2_1_27_1“，”series-title“：”应用逻辑系列“，”volume-title“：”“捆绑含义逻辑的语义学和证明理论”，“作者”：“Pym David”，“年份”：“2002”，“非结构化”：“David Pym。串蕴涵逻辑的语义和证明理论。应用逻辑系列。Kluwer，2002年。勘误表和备注（Pym 2004）保存在http://www.cs.bath.ac.uk\/Pym\/reductive-logic-Errata.html。大卫·皮姆。串蕴涵逻辑的语义和证明理论。应用逻辑系列。Kluwer，2002年。勘误表和备注（Pym 2004）保存在http://www.cs.bath.ac.uk\/Pym\/reductive-logic-Errata.html。“}，{”key“：”e_1_3_2_1_28_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.tcs.2003.11.20”}，“key”：“e_1_A_2_1_29_1”，“volume-title”：“相关逻辑：哲学检验”，“author”：“Read S.”，”year“1987”，“unstructured”：“S.Read.相关逻辑：一种哲学检验。Basil Blackwell，1987.S。阅读。相关逻辑：哲学检验。Basil Blackwell，1987。“}，{”key“：”e_1_3_2_1_30_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/645683.664578”}，“key”：“e_1_ 3_2_1_1_1”，“doi-assert-by”：“publisher”，”doi“：”10.1093\/logcom\/1.4.537“}]，”event“：{”name“POPL09:第36届ACM SIGPLAN-SIGACT编程语言原则研讨会”，“location“：”Savannah GA USA“，”缩写词“：”POPL09“，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“ACM计算机协会”，“SIGACT ACM算法和计算理论特别兴趣小组“]}，“容器-时间”：[”第36届ACM SIGPLAN-SIGACT编程语言原理年会论文集“]，“原文标题”：[]，“链接”：[{“URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480881.1480923“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，”date-time“：“2023-09-04T21:21:07Z”，”timestamp“：1693862467000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480923“}}，”副标题“：[”关于资源双重化的推理逻辑“]，”短标题“：[]，”已发布“：{”日期部分“：[[2009,1,21]]}，“引用计数”：30，“alternative-id”：[“10.1145\/1480881.1480923”，“10.1145\/1480881”]，“URL”：“http://\/dx.doi.org\/10.1145 \/14808”81.1480923“，”关系“：{”身份识别“：[{”id-type“：”doi“，”id“：”10.1145\/1594834.1480923“，”asserted-by“：”object“}]}，”subject“：[]，”published“：{”date-parts“：[[2009,1,21]]}、”assertion“：[{”value“：”2009-01-21“，”order“：2，”name“：”publisheed“，”label“：”published“，“group”：{“name”：“publication_history”，“label”：“publication history”}}}]}}