岩田，Sohei;Kurahashi、Taishi;Okawa，Yuya大川 子逻辑的不动点和Craig插值性质伊利诺伊州. （英语） Zbl 07790929号 架构（architecture）。数学。逻辑 63，编号1-2，1-37（2024）. 摘要：我们研究了可解释逻辑子逻辑的不动点性质和Craig插值性质伊利诺伊州我们提供了关于不动点的唯一性、不动点性质和Craig插值性质的这些子逻辑的完整描述。 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03层45 可证明逻辑和相关代数（例如，可对角化代数） 关键词：可解释逻辑;不动点特性;不动点的唯一性;克雷格插值特性 PDF格式BibTeX公司 XML格式引用 \textit{S.Iwata}等人，Arch。数学。逻辑63，编号1--2，1--37（2024；Zbl 07790929） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Areces，C.，Hoogland，E.，de Jongh，D.：可解释逻辑中的插值、可定义性和不动点。In：模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集，第35-58页。加州斯坦福：CSLI出版物（2001）·Zbl 1001.03054号 [2] Bernardi，C.，每个可对角化代数中不动点的唯一性，Stud.Logica。，35, 335-343 (1976) ·Zbl 0345.02020号 ·doi:10.1007/BF02123401 [3] Boolos，G.，《一致性的不可验证性》。《模态逻辑论文》（1979），剑桥：剑桥大学出版社，剑桥·Zbl 0409.03009号 [4] Boolos，G.，《Provability的逻辑》（1993），剑桥：剑桥大学出版社，剑桥·兹标0891.03004 [5] Ignatiev，K.N.：部分保守性和模态逻辑。ITLI出版物系列X-91-04（1991） [6] 岩手，S.，Kurahashi，T.，Okawa，Y.：逻辑上的持久性原理（{\textbf{IL}}^-\）ArXiv:2203.02183 [7] de Jongh，D.，Veltman，F.：相对可解释性的Provability逻辑。In：数学逻辑。1988年9月13日至23日在保加利亚柴卡举行的阿伦德·海廷（Arend Heyting，1898-1980）诞辰九十周年暑期学校和会议记录，第31-42页。纽约：Plenum出版社（1990）·Zbl 0794.03026号 [8] de Jongh，D。；Visser，A.，可解释性逻辑中的显式不动点，Stud.Logica。，50, 1, 39-49 (1991) ·Zbl 0744.03020号 ·doi:10.1007/BF00370386 [9] Kurahashi，T。；Okawa，Y.，可解释逻辑的子逻辑的模态完备性\（\textbf｛IL｝\），数学。逻辑Q，67，2，164-185（2021）·Zbl 1521.03238号 ·doi:10.1002/malq.202000037 [10] Okawa，Y.：可解释逻辑的子逻辑的一元可解释逻辑（{\textbf{IL}}）ArXiv:2206.03677·Zbl 1521.03238号 [11] Okawa，Y.，具有不动点性质的可解释逻辑（\textbf{IL}）的可数多子逻辑，J.logic Comput。，32, 5, 976-995 (2022) ·Zbl 07589722号 ·doi:10.1093/log.com/exab077 [12] Sambin，G.，直觉对角化代数中的一个有效不动点定理，Stud.Logica。，35, 345-361 (1976) ·Zbl 0357.02028号 ·doi:10.1007/BF02123402 [13] 斯莫林斯基，C.，贝思定理和自相关句子。77年逻辑学术讨论会。，弗罗茨瓦夫1977，《发现逻辑》。数学。，96, 253-261 (1978) ·Zbl 0453.03018号 ·doi:10.1016/S0049-237X（08）72008-1 [14] 斯莫林斯基，C.，《自参考和模态逻辑》。Universitext（1985），Cham:Springer，Cham·Zbl 0596.03001号 ·doi:10.1007/978-1-4613-8601-8 [15] Visser，A.：关于可解释性逻辑的初步说明。乌得勒支大学哲学系技术代表29（1988） [16] Visser，A.：可解释逻辑。In：数学逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷（Arend Heyting，1898-1980）诞辰90周年暑期学校和会议记录，第175-209页。纽约：Plenum出版社（1990）·Zbl 0793.03064号 [17] Visser，A.：可解释性逻辑概述。In：模态逻辑的进展。第1卷。1996年10月，德国柏林自由大学，第1届AiML会议论文选集，第307-359页。加州斯坦福：语言与信息研究中心（CSLI）（1998年）·Zbl 0915.03020号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。