{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,6]]，“日期-时间”：“2024-06-06T16:06:23Z”，“时间戳”：1717689983462}，“引用-计数”：9，“出版商”：“牛津大学出版社（OUP）”，“发行”：“5”，“许可证”：[{“开始”：{-日期-部件“：[2022,1,17]]，”日期-时间me“：”2022-01-17T00:00:00Z“，”时间戳“：164237760000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https://ademicial.oup.com/journals\/pages\/open_access\/funder_policies//chorse\/standard_publication_model”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2022,7,25]]}，“抽象”：“摘要<\/jats:title>我们研究了可解释逻辑$\\textbf{IL}$的子逻辑的不动点性质。在我们之前的工作中，证明了子逻辑$\\textbf｛IL｝^｛-｝（\\textbf｛J 2｝_+，\\textbf｛J 5｝）$具有不动点性质（FPP），并且子逻辑$\\textbf｛IL｝^｛-｝（\\textbf｛J 4｝，\\textbf｛J 5｝）$具有新引入的较弱性质$\\ell$FPP。在本文中，我们提供了具有FPP的$\\textbf{IL}^{-}（\\textbf{J2}_{+}，\\textbf-{J5}）$（分别是$\\textbf{IL}^{-{（\\textbf{J4}，\ textbf}）$$的可数子逻辑<\/jats:p>“，”DOI“：”10.1093\/logcom\/exab077“，”type“：”journal-article“，”created“：{”date-parts“：[2021,11,22]]，”date-time“：”2021-11-22T20:12:28Z“，”timestamp“：1637611948000}，”page“：“976-995”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“可解释逻辑的可数子逻辑IL<\/b>具有定点属性“]，”前缀“：”10.1093“，”卷“：”32“，”作者“：[{”给定“：”Yuya“，”家庭“：”Okawa“，“序列”：”first“，”affiliation“：[}”name“：”千叶大学科学与工程研究生院，1-33 Yayoi-cho，Inage-ku，Chiba-shi，Chipa，263-8522，Japan“}]，”成员“：”286“，”在线发布“：{”日期段“：[2022,[1,17]]}，“reference“：[{”key“：”2022081614301716100_ref1“，”volume-title“：”Provability的逻辑“，”author“：”Boolos“，”year“：”1993“}，{”密钥“：”2020年1614301716.1 00_ref2“，”doi-asserted-by“：”crossref“，”first page“：“39”，“doi”：“10.1007\/BF00370386”，“article-title”：“可解释逻辑中的显式不动点”，“volume”：“50”，“author”：“de Jon gh“，”年份“：”1991“，”journal-title“：”Studia Logica“}，{“key”：“2022081614301716100_ref3”，“doi-asserted-by”：“crossref”，“volume-title”：“IL子逻辑的不动点和Craig插值属性”，“author”：“Iwata”，“doi”：“10.1007\/s00153-023-00882-6”}，}“keys”：“2020 1614301716.1 00_ref4”，“article-titleSacchetti\u2019的可证明模态逻辑中的有效构造不动点”，“author”：“Kurahashi”，“journal-title”：“Notre Dame journal of Formal Logic”}，{“key”：“2022081614301716100_ref5”，“doi-asserted-by”：“crossref”，”first page“：”164“，”doi“：”10.1002\/malq.202000037“，”article-title“：”可解释逻辑子逻辑的模态完整性IL“，”volume“：”67“，”author“：”Kurahashi“，”year“：”2021“，”journal-title“：”Mathematical logic Quarterly“}，”{“key”：“2022081614301716100_ref6”，”doi-asserted-by“：”crossref“，“first-page”：“19”，“doi”：“10.1111\/j.1755-2567.1996.tb00529.x”，“article-title”：“”Provability logic\u2014a short introduction“，”volume“：”62“，”author“：”Lindstr\u00f6m“，”year“：”1996“，”journal-title“：”Theoria“}，{“key”：“2022081614301716100_ref7”，“doi-asserted-by”：“crossref”，“first-page”：“65”，“doi”：“10.1305 \/ndjfl \/1054837934”，“article-title”：“模态逻辑中的不动点属性”，“volume”：”42“，“author”：“Sacchetti”，“年份”：“2001”，“journal-title“：”Notre Dame journal of Formal Logic“}，{“key”：“2022081614301716100_ref8”，“doi-asserted-by”：“crossref”，“first page”：”345“，“doi”：“10.1007\/BF02123402”，“article-title”：“直觉对角化代数中的一个有效不动点定理”，“volume“：”35“，”author“：”Sambin“，”year“：”1976“，”journal-title“:”Studia Logica“}2022081614301716100_ref9“，”article-title“：“可解释性逻辑的初步说明”，“volume-title”：“技术报告29”，“author”：“Visser”，“year”：“1988”}]，“containertitle”:[“Journal of logic and Computation”]，“original-title”:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/actical.oup.com/logcom\/article-pdf\/32\/5\/976\/4545541\/exab077.pdf“，”内容类型“：”应用程序\/pdf“，”content-version“：”vor“，”intended-application“：”syndication“}，{”URL“：”https:\///acticate.oup.com\/logcom\/acticle-pdf\/32\\/5\/976 \/45541\/exab077.pdf“未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，“存放”：{“日期-部件”：[[2023,11,12]]，“日期-时间”：“2023-11-12T23:56:36Z”，“时间戳”：1699833396000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“https:\/\/学术.oup.com\/logcom\/article\/32\/5\/976\/6507815”}}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期-部件“：[2022,1,17]]}，“引用计数”：9，“日志发布”：{“发布”：“5“，”published-online“：{“date-parts”：[[2022,1,17]]}，”publised-print“：{“date-parts”：[[2022,7,25]]}}，“URL”：“http://\/dx.doi.org\/10.1093\/logcom\/exab077”，“relationship”：{}，打印“}，{”值“：”1465-363X“，”类型“：”电子“}]，”主题“：[]，”发布-其他“：{”日期-部分“：[2022,7]]}，“已发布”：{“日期部分”：[[2022,1,17]]}}}