{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,9]]，“日期-时间”：“2024-06-09T23:25:10Z”，“时间戳”：1717975510331}，“引用-计数”：11，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始时间”：{-date-parts“：[[2005,2]]，“时间”：“2005-02-01T00:00:00Z”，“时间戳”：1107216000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：3088，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,2]]}，”DOI“：”10.1016\/j.apal.2004.04.009“，”type“：”journal-article“，”created“：{”date-part“：[[2004,7,27]]，”date-time“：”2004-07-27T17:39:35Z“，”timestamp“：1090949975000}”，“page”：“1-25”，“source”：“Crossref”，“is-referenced-by-count”：156，“title”：[“证明的逻辑，语义上”]，“prefix”：“10.1016”，“volume”：“132”，“author”：[{“给定”：“梅尔文”，“family”：“Fitting”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/j.apal.2004.04.009_B1”，“unstructured”：“S。Artemov，操作模态逻辑，技术报告MSI 95-29，康奈尔大学，1995年12月“}，{“issue”：“1”，“key”：“10.1016\/j.apal.2004.04.009_B2”，“doi-asserted-by”：“crossref”，”first page“：”1“，”doi“：”10.2307\/2687821“，”article-title“：”Explicit provability and constructive semantics“，”volume“：“7”，“author”：“Artemov”，“year”：“2001”，“journal-title“：”The Bulletin for Symbolic Logic“}，{“key”：“10.1016\/j.apal.2004.04.009_B3”，“unstructured”：“V.Brezhnev，On explicit counters of modal logics，CFIS 2000-06，Cornell University，2000”}，“key“：”10.1016\/j.apal.2004.040.09_B4“，“series-title”：“第六届ESSLLI学生会议记录”，“第一页”：“35”，“article-title“：”关于证明的逻辑“，”author“：”Brezhnev“，”year“：”2001“}，”key“：”10.1016\/j.apal.2004.04.009_B5“，”作者“：”拟合“}、”key”：“10.1016\/j.apal.2004.04.0 09_B6”，”作者”：“拟合”}，“key”:“10.1016 \/j-apal.2004.0 09_B7”，”series-title“：“知识与信仰”，”auther“：”Hintikka“，“年份”：“1962”}，{“密钥”：“10.1016\/j.apal.2004.04.009_B8”，“series-title“：”Computer Science Logic 2000“，”first page“：”371“，”article-title“：“论显式模态逻辑的复杂性”，“volume”：“vol.1862”，“author”：“Kuznets”，“year”：“2000”}，{“key”：”10.1016\/j.apal.2004.04.009_B9“，”series-tile“：‘计算机科学的逻辑基础’，”first-page:“266”，“article-title”：“证明逻辑模型”，“volume“：”number 1234“，”author“：”Mkrtychev“，”year“：”1997“}，”{“key”：“10.1016\/j.apal.2004.04.009_B10”，“author”：“Renee”}，“key）：“10.116\/j-apal.2004.014.009_B1”，“series-title”：“一阶逻辑”，“作者”：“Smullyan”，“年份”：“1994”}]，“container-title”：[“纯粹和应用逻辑年鉴”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000909？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000909？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“”text-mining”}]，“存放”：{“日期”：[[2019,2,5]]，“date-time“：”2019-02-05T06:55:30Z“，”timestamp“：1549349730000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007204000909”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[2005,2]}，‘references-count’：11，‘日志发布’：{‘发布’：“1”，“published-print“：{“date-parts”：[[2005,2]}}，”alternative-id“：[”S0168007204000909“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.04.009”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“value”：“0168-20072”，“type”:“print”}]，“主题”：[]，“发布”：{“date-parts”：[[2005,2]]}}}}