{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,3]]，“日期-时间”：“2023-10-03T19:11:05Z”，“时间戳”：1696360265466}，“参考-计数”：32，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{-“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：557，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[2012,9]}”，“abstract”（摘要）：“摘要<\/jats:title>我们研究具有两个变量FO的一阶逻辑2<\/jats:sup>，并建立了一个小的子结构性质。类似于FO的小型模型属性2<\/jats:sup>我们获得了嵌入子结构相对于固定周围结构的指数大小界限，该结构可能是无限的。我们应用此技术分析FO的可满足性问题2<\/jats:sup>在需要将几个二进制关系解释为等价关系的约束下。通过一个等价关系，FO2<\/jats:sup>具有有限模型属性，并且与普通FO一样，对于非确定性指数时间是完全的2<\/jats:sup>。有两个等价关系，FO2<\/jats:sup>不具有有限模型属性，但通过构造允许有限描述的正则模型（即使它们可能必然是无限的），证明了它是可判定的。对于三个或更多等价关系，FO2<\/jats:sup>是不可判定的<\/jats:p>“，”DOI“：”10.2178\/jsl\/1344862160“，”type“：”journal-article“，”created“：{”date-parts“：[[2012,11,5]]，”date-time“：”2012-11-05T15:02:32Z“，”timestamp“：1352127752000}，”page“：“729-765”，“source”：“Crossref”，“is-referenced-by-count”：16，“title”：[“带两个变量的一阶逻辑的小子结构和可判定性问题”]，“前缀”：“10.1017”，“卷“：”77“，”作者“：[{“given”：“Emanuel”，“family”：“Kiero\u0144ski”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Martin”，“家族”：“Otto”，“序列”：“附加”，“从属”：[]}，“member”：“56”，“published-online”：{“date-parts”：[[2014,3,12]}，”引用“[{”键：“S0022481200000487_ref023”，“首页”：“318”，“文章标题”：“关于具有等价或传递保护的保护片段的有限可满足性，LPAR，Logic for Programming“，”volume“：”4790“，”author“：”Kiero\u0144ski“，”year“：”2007“，”journal-title“：”Artificial Intelligence，and Reasoning“}，{”key“：“S0022481200000487_ref022”，“first page”：“448”，“volume-title”：“第20届IEEE计算机科学逻辑研讨会论文集”，“作者”：“Kiero\u0144ski”，“年份”：“2005”}，{“关键字”：“S0022481200000487_ref030”，“doi-asserted-by”：“crossref”，“首页”：“499”，“doi”：“10.1007\/978-3642-15205-4_38”，“article-title”：“二阶关系的二变量逻辑”，“卷”：“6247”，“作家”：“Schwentick”，“年”：“2010”，“journal-title“：”CSL，Proceedings of Computer Science Logic“}，{”key“：”S0022481200000487_ref011“，”首页“：”1719“，”卷“：”64“，”作者“：”Gr\u00e4del“，“年份”：“1999”，“journal-title”：“关于守卫的约束力”}，“key”：“S0022481 200000487_ ref003”，“首页”：“72”，“article-title”“多米诺骨牌问题的不可判定性”，“卷”：“66”，“author“：”Berger“，”year“：”1966“，”journal-title“：”American Mathematical Society回忆录“}，{“key”：“S0022481200000487_ref026”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.19750210118”}，“key“：”S0022481 200000487_ ref017“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/9781-462478-3_5“}“S0022481200000487_ref014”，“首页”：“306”，“volume-title“：”LICS，第十二届IEEE计算机科学中的逻辑研讨会论文集“，”author“：”Gr\u00e4del“，”year“：”1997“}，{”key“：”S0022481200000487_ref016“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF00971620”}，“key”：“S0022481 200000487_ ref002”，“volume-title”：“the description Logic handbook”，“author”：“Baader”，“year”：“2003”}，{“密钥”：“S0022481200000487_ref018“，“非结构化”：“Kazakov Y.，保护碎片扩展的基于饱和的决策程序，博士论文，萨尔兰德大学，萨尔布尔大学，德国，2006.”}，{“key”：“S0022481 200000487_ ref005”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-59207-2“}，”key“：”S002248 120000487_ref025“，”首页“：”513“，”volume-title“：”第35届计算机科学数学基础国际研讨会论文集“，”卷“：”6281“，”作者“：”Manuel“，”年份“：”2010“}，{“key”：“S0022481200000487_ref013”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（98）00308-9”}，“key“：”S0022482200000487_ ref009“，”第一页“：“24”，“卷时间”：“LICS，《第十四届计算机科学逻辑研讨会论文集》，“作者”：“Ganzinger”，“年份”：“1999”}，{“key”：“S0022481200000487_ref001”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:100427529985”}200000487_ref032“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2001.932491“}，{”key“：”S0022481200000487_ref029“，”首页“：”318“，”volume-title“：”LICS，第十二届IEEE计算机科学逻辑研讨会论文集“，”author“：”Pacholski“，”year“：”1997“}”，{“key”：“S0022482200000487_ ref010”，“首页”：“1237”，“卷”：“49”，“author”：“Goldfar”b“，”年份“：”1984“，”journal-title“：”具有标识的Godel类的不稳定性“}，{“key”：“S0022481200000487_ref015”，“doi-asserted-by”：“crossref”，“first-page”：“313”，“doi”：“10.1007\/s001530050130”，“article-title”：“二元逻辑的不确定性结果”，“volume”：”38“，“author”：“Gr\u00e4del”，”year“：”1999“，”journal-title“”：“数学逻辑存档”}，}“key“：”S0022481200000487_ref021“，”unstructured“：”Kiero\u0144ski E.，Michaliszyn J.，Pratt-Hartmann I.，and Tendra L.，准备中的具有等价闭包的二变量一阶逻辑。“}，{”key“：”S0022481200000487_ref008“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.orl.2005.09.008”}，“key”：“S0022481 200000487_ ref028”，“first page”：”685“，”volume“：“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.ic.2006.08.001“}，{“key”：“S0022481200000487_ref031”，“首页”：“377”，“卷”：“27”，“作者”：“斯科特”，“年份”：“1962”，“日记标题”：“两个变量中句子有效性的判定方法”}，}“key”：“SO0224812000000487_ref007”，“doi-asserted-by”：“出版商”，“doi”：“10.1007\/978-3642-162-8_18”}“：”S0022481200000487_ref024“，”首页“：”123“，”volume-title“：”LICS，第23届IEEE计算机科学逻辑研讨会论文集“，”author“：”Kiero\u0144ski“，”year“：”2009“}，{“key”：“S0022481200000487_ref006”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0004-3702（96）00004-5“}”，{”key“：”S0022482120000487_ref004“，”首页“”：“7”，“volume-tite”：“”LICS，《第21届IEEE计算机科学逻辑研讨会论文集》，“作者”：“Boja\u0144czyk”，“年份”：“2006”}，{“密钥”：“S0022481200000487_ref012”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/421196”}“：[”符号逻辑杂志“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200000487“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”ded“：”{“date-parts”：[2019,4,24]]，“date-time”：“”2019-04-24T23:29:04Z“，”timestamp“：1556148544000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200000487\/type\/journal_article”}，“subtittle”：[]，“shortitle”：[].，“issued”：{“date-parts”：[[2012,9]]}，《参考计数》：32，“journal-assue”：{.“问题”：“3“，”published-print“：{”date-parts“：[[2012,9]]}”}，“alternative-id”：[“S0022481200000487”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1344862160”，“关系”：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，”value“：“1943-5886'，”类型“：”electronic“}]，“subject”：【】，“published”：{日期部分“：[[2012,9]}}}