{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T23:37:00Z”，“时间戳”：1649201820544}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_7”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T04:54:38Z”，“timestamp”：1303966478000}，”page“：”8-19“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“A Complexity Question in Justication Logic”]，“前缀“：”10.1007“，”author“：[{”given“：”Antonis“，“family”：“Achilleos”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“7_CR1”，“unstructured”：“Artemov，S.：操作模态逻辑。技术报告MSI 95\u201329，康奈尔大学“：”7“，”作者“：”S。Artemov“，”year“：”2001“，”unstructured“：”Artemov，S.：显式可证明性和构造性语义。符号逻辑公报\u00a07（1），1\u201336（2001）“，”journal-title“：”Bulletin of Symbolic Logic“}，{“issue”：“2”，“key”：“7_CR3”，“doi-asserted-by”：“publisher”，“first-page:”203“，”doi“：”10.1070\/RM2004v059n02ABEH000715“，”volume“：”59“，”author“：”S.Artemov“，”year“：”2004“，”unstructured“：”Artemov，S.：Kolmogorov和G\u00f6del\u2019的直觉主义逻辑方法：当前发展。俄罗斯数学调查\u00a059（2），203\u2013229（2004）“，”journal-title“：”Russian Mathematical Surveys“}，{“issue”：“4”，“key”：“7_CR4”，”doi-asserted-by“：”publisher“，”first page“：”477“，”doi“：”10.1017\/S1755020308090060“，”volume“：“1”，”author“：”S.Artemov“，”year“：”2008“，”unstructured“：”阿特莫夫：辩护的逻辑。符号逻辑综述\u00a01（4），477\u2013513（2008）”，“期刊标题”：“符号逻辑综述”，｛“key”：“7_CR5”，“非结构化”：“勃列日涅夫，V.N.：关于模态逻辑的显式对应物。技术报告CFIS 2000\u201305，康奈尔大学（2000）”，｛“key”：“7_CR6”，“非结构化”：“Buss，S.R.，Kuznets，R.：证明逻辑的低复杂度界限（2009）（手稿）非结构化“：”Buss，S.R.，Kuznets，R.：证明逻辑反射片段的NP完整性。收录：Art\u00ebmov，S.，Nerode，A.（编辑）LFCS 2009。LNCS，第u00a05407卷，第122\u2013136页。Springer，Heidelberg（2008）“}，{“key”：“7_CR8”，“unstructured”：“Fitting，M.：证明逻辑的语义。技术报告TR\u20132003012，纽约大学计算机科学博士项目（2003）”}，}，“issue”：“1”，“key“：”7_CR9“，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1016\/j.apal.2004.04.009”，“volume”：第132页，“author”：“M.Fitting”，“年份”：“2005年，“非结构化”：“Fitting，M.：语义上的证明逻辑。《纯逻辑与应用逻辑年鉴》\u00a0132（1），1\u201325（2005）“，”journal-title“：”Annals of Pure and Applied Logic“}，{”issue“：”1-3“，”key“：”7_CR10“，”doi-asserted-by“：”publisher“，”first page“：“136”，“doi”：“10.1016\/j.tcs.2006.03.015”，“volume”：“357”，“author”：“N.V.Krupski”，“year”：“2006”，“unstructured”：“”N.V.克鲁普西：关于证明的反射逻辑的复杂性。理论计算机科学\u00a0357（1-3），136\u2013142（2006）“，“journal-title”：“理论计算机科学”}，{“issue”：“1-3”，“key”：“7_CR11”，“doi-asserted-by”：“publisher”，“first-page”：“143”，”doi“：”10.1016\/j.tcs.2006.03.016“，”volume“：”357“，”author“：”V.N.Krupski“，”year“：”2006“，”非结构化“：”Krupski，V.N.：证明的参考逻辑。理论计算机科学\u00a0357（1-3），143\u2013166（2006）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“7_CR12”，“首页”：“371”，“卷标”：“EACSL第十四届计算机科学逻辑年会论文集”，“作者”：“R.库兹涅茨”，“年份”：“2000”，“非结构化”：“Kuznets，R.：关于显式模态逻辑的复杂性。摘自：EACSL第十四届计算机科学逻辑年会论文集，第371\u2013383页。Springer，Heidelberg（2000）“}，{“key”：“7_CR13”，“unstructured”：“Kuznets，R.：论证逻辑中的复杂性问题。CUNY研究生中心博士论文（2008）”}，}，“key“：”7_CR14“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“首页”：“228”，“doi”：“10.1007\/978-3-540-79709-8_24”，“volume-title”：”计算机科学\u2013理论与应用”，“作者”：“R.库兹涅茨”，“年份”：“2008”，“非结构化”：“库兹涅茨，R.：合理知识的自指涉性。收录人：Hirsch，E.A.、Razborov，A.A.、Semenov，A.、Slissenko，A.（编辑）CSR 2008。LNCS，第u00a05010卷，第228\u2013239页。Springer，Heidelberg（2008）“}，{“key”：“#cr-split#-7_CR15.1”，“unstructured”：“Kuznets，R.：论证逻辑中通过tableaux的复杂性。in：2008年ASL欧洲夏季会议，逻辑学术讨论会（2008）”}，“key“：”#cr-ssplit#-7_CR15.2“，”doi-asserted-by“：”crossref“，”unstructure“：”符号逻辑公报15（1），121（2009）“，”doi“：”10.1017\/S107989860000932X“}，{“问题”：“3”，“密钥”：“7_CR16”，“doi-asserted-by”：“发布者”，“首页”：“223”，”doi“：“10.1016\/j.apal.2006.03.001”，“卷”：“145”，“作者”：“R.S.Milnikel”，“年份”：“2007”，“非结构化”：“Milnikel，R.S.：证明逻辑的某些子系统中的可导性是完成的。《纯粹与应用逻辑年鉴》（Annals of Pure and Applied Logic）\u00a0145（3），223\u2013239（2007）“，“期刊标题”：“纯粹与应用逻辑学年鉴”}，{“key”：“7_CR17”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“266”，“doi”：“10.1007\/3-540-63045-7_27”，《volume-title》：“计算机的逻辑基础”，“author”：“A。Mkrtychev“，”year“：”1997“，”unstructured“：”Mkrtytychev，A.：证明逻辑模型。收录：Adian，S.，Nerode，A.（编辑）LFCS 1997。LNCS，第u00a01234卷，第266\u2013275页。Springer，Heidelberg（1997）“｝，｛“key”：“7_CR18”，“nonstructured”：“Pacuit，E.:关于一些显式模态逻辑的注释。In：Proceedings of the 5th \u00a0Panhellenic Logic Symposium（2005）”｝]，“container title”：[“Logic，Language，Information and Computation”，“Lecture Notes In Computer Science”]，“原标题”：[]，“链接”：[｛“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_7“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,23]]，“date-time”：”2019-05-23T01:32:17Z“，“timestamp”：1558575137000}，“score”：1，“resource”：{-“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-20920-8_7“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2011]]}，“ISBN”：[“9783642209192”，“978364 2209208”]，”参考计数“：19，”URL“：”http://\/dx.doi.org\/10.1007\/9783-642-2092-8_7：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2011]]}}