｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,4,1]]，“日期时间”：“2024-04-01T17:47:17Z”，“时间戳”：1711993637470｝，“引用计数”：5，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[｛“开始”：｛“日期部分”：[[2014,3,12]]，“日期时间”：“2014-03-12T00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”摘要<\/jats:title>我们给出了证明系统中证明线数的指数下界模态逻辑的K<\/jats:italic>，即，我们给出了一个K重言式\u03c81<\/jats:sub>，\u03c82<\/jats:sub>，\u2026 s.t.每K<\/jats:italic>\u03c8的证明i<\/jats:italic><\/jax:sub>必须具有大量与\u03c8大小成指数关系的校对线i<\/jats:italic>。对于相同的序列K到系统的重言式K<\/jats:italic>4，G\u00f6del\u2013L\u00f 6b的逻辑，S<\/jats:italic>和S<\/jats:italic>4。我们还根据模态深度1的公式确定了不同模态逻辑系统之间的一些加速关系<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333849“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：“941-958”，“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“模态逻辑的下限”]，“前缀”：“10.1017”，“volume”：“72”，“作者”：[{“给定”：“Pavel”，“家庭”：“Hrube\u0161“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200005156_ref002“，”first page“：“S0022481200005156_ref001”，“doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF02579196“}，{“key”：“S0022481200005156_ref003”，“首页”：“112”，“volume-title”：“复杂性结构会议论文集，第八届复杂性年会”，“author”：“Karchmer”，“year”：“1993”}，“key“：”S0022481 200005156_ ref004“，“first page”：”457“，”volume“：“62”，“作者”：“Kraj\u00ed\u 010dek“，”年份“：”1997“，”journal-title“：”插值定理、证明系统的下界和有界算术的独立性结果“}，{“key”：“S0022481200005156_ref005”，“first-page”：“354”，“article-title”：“某些布尔函数单调复杂度的下界”，“volume”：”31“，“author”：“Razborov”，“year”：“1985”，“journal-title”苏维埃数学Doklady“}]，“container-title”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005156”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，”存放“：{”日期部分”：[[2019,5,1]]，“日期-时间”：“2019-05-01T1:20:36Z”，“时间戳”：1556745636000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://www.cambridge.org/core\/product\/inidentifier\/S022481200005156\/type\/journal_article”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2007,9]]｝，“引用次数”：5，“期刊发布”：｛“问题”：“3”published-print“：{“date-parts”：[[2007,9]]}}，“alternative-id”：[“S0022481200005156”]，“URL”：“http://\/dx.doi.org\/12178\/jsl\/1191333849”，“relation”：{}，”ISSN“：[“0022-4812”，“1943-5886”]，”ISSN-type“：[{”value“：”0022-481“，”type“:”print“}，{”value“：“1943-58”“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2007,9]]}}