{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,15]]，“日期时间”：“2023-10-15T12:22:08Z”，“时间戳”：1697372528742}，“引用计数”：49，“发布者”：“计算机协会（ACM）”，“问题”：“3”，“内容域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，“short-container-title”：[“ACM SIGLOG News”]，“published-print”：{“date-parts”：[[2018,7,26]]}，“abstract”：“在本文中，我们讨论了由实际应用驱动的二元逻辑的片段和扩展。我们概述了可判定边界，描述了一些用于确定可满足性和有限可满足性的技术，并描述了它们的复杂性<\/jats:p>“，”DOI“：”10.1145\/32429533242958“，”type“：”期刊文章“，”created“：｛”日期部分“：[[2020,4,4]]，”日期时间“：”2020-04-04T09:28:34Z“，”时间戳“：1585992514000｝，”page“：”22-43“，”update policy“：”http:\/\/dx.DOI.org/10.1145\/crosmark policy“，”source“：”Crossref“，”由count引用“：3，”title“：[”具有计数和语义约束的双变量逻辑“]，”前缀“：”10.1145“，”卷“：”5“，”作者“：[{”给定“：”伊曼纽尔“，”家族“：”基罗\u0144ski“，”序列“：”第一“，”从属“：[}”名称“：”沃克大学\u0142aw给定“：”Lidia“，”family“：”Tendera“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Opole“}]}]，”member“：”320“，”published-on-line“：{”date-parts“：[[2018,7,26]]}，”reference“：[}”key“：”e_1_1_1“，”doi-asserted-by“：“publisher”，“doi”：“10.1023\/A:1004275029985”}，{“key”：“e_2_1_2_1”，“非结构化”：“F.Baader D.Calvanee D.L.McGuinness D。Nardi和P.F.Patel-Schneider。2010年，《描述逻辑手册：理论实现和应用》（第二版）。剑桥大学出版社。F.Baader D.Calvanee D.L.McGuinness D.Nardi和P.F.Patel-Schneider。2010年，《描述逻辑手册：理论实现和应用》（第二版）。剑桥大学出版社。“}，{”key“：”e_1_2_1_3_1“，”doi-asserted-by“：”crossref“，“unstructured”：“e.B\u00f6rger e.Gr\u00e4del和Y.Gurevich.1997。经典的决策问题。柏林施普林格。E.B\u00f6rger E.Gr\u00e4del和Y.Gurevich。1997.经典决策问题。柏林施普林格。“，”DOI“：”10.1007\/978-3-642-59207-2“}，{”key“：”e_1_2_1_4_1“，”unstructured“：”W.Charatonik and P.Witkowski，2016。带计数和线性顺序的二元逻辑。计算机科学中的逻辑方法12 2（2016）8:1-8:31。W.Charatonik和P.Witkowski。2016.带计数和线性顺序的双变量逻辑。计算机科学中的逻辑方法12 2（2016）8:1--8:31.“}，{”key“：”e_1_1_5_1“，”doi-asserted-by“：”publisher“，“doi”：“10.2307\/2269326”}，“key”：“e_2_1_6_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.orl.2005.09.008“}”，{、Egon B\u00f6rger、Gisbert Hasenjaeger和Dieter R\u00f 6dding（编辑）“，“作者”：“F\u00fcrer M.”，“非结构化”：“M.F\u100fcrer”。1983.无约束有限多米诺问题的计算复杂性（对逻辑决策问题有影响）。在《逻辑与机器》（计算机科学讲义）中，Egon B\u00f6rger、Gisbert Hasenjaeger和Dieter R\u00f6dding（编辑），第171卷。施普林格，312-319。M.F\u00fcrer（主菜单）。1983.无约束有限多米诺问题的计算复杂性（对逻辑决策问题有影响）。《逻辑与机器》（计算机科学讲义），Egon B\u00f6rger、Gisbert Hasenjaeger和Dieter R\u00f 6dding（编辑），第171卷。Springer，312--319.“}，{”key“：”e_1_2_1_8_1“，”volume-title“：”第十四届IEEE计算机科学逻辑研讨会。24-34“，”author“：”Ganzinger H“，”unstructured“：”H.Ganzinger，C.Meyer，and M.Veanes.1999。双变量保护具有传递关系的片段。在第十四届IEEE计算机科学逻辑年会上。24--34 . H.Ganzinger、C.Meyer和M.Veanes。1999.双变量保护具有传递关系的片段。在第十四届IEEE计算机科学逻辑年会上。24--34.“}，{”key“：”e_1_2_1_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF01708881”}，“key”：“e_1_i_1_10_1”，“doi-assert-by”：“publisher”，”doi“：”10.2307\/2274274“}”，{“key“:”e_2_1/11_11_1“、”doi-sserted-by““：”publisher“，”doi:“10.2307\/2586808”}、{“key”：“e_1_1_12_1”，“doi-asserted-by”：“publisher”，”doi“：”10.2307\/421196“}，{“key”：“e_2_1_13_1”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（98）00308-9“}，{“key”：“e_1_2_1_14_1”，“volume-title”：“第十二届IEEE计算机科学逻辑研讨会论文集。IEEE在线出版物，306--317”，“author”：“Gr\u00e4del e.”，“unstructured”：“e.Gr\u0014del，M.Otto，and e。罗森。1997年b。带计数的双变量逻辑是可判定的。第12届IEEE计算机科学逻辑研讨会论文集。IEEE在线出版物，306--317。E.Gr\u00e4del、M.Otto和E.Rosen。1997年b。带计数的双变量逻辑是可判定的。第12届IEEE计算机科学逻辑研讨会论文集。IEEE在线出版物，306--317.“}，{”key“：”e_1_2_1_15_1“，”首页“：”4“，”article-title“：”二元逻辑上的不可判定结果“，”volume“：“38”，”author“：”Gr\u00e4del e.“，”year“：”1999“，”unstructured“：”e.Gr\u000e4del.，M.Otto，and e.Rosen.1999.二元逻辑的不可确定结果.Arch.Math.Log.38，4-5（1999）, 313--354. E.Gr\u00e4del、M.Otto和E.Rosen。1999.双变量逻辑的不确定性结果。架构（architecture）。数学。日志。38，4-5（1999），313--354。”，“新闻标题”：“档案。数学。日志。“}，{”key“：”e_1_2_1_16_1“，”unstructured“：”D.Hilbert and W.Ackermann.1928。Grundz\u00fcge der theoretischen Logik公司。柏林施普林格。D.希尔伯特和W.阿克曼。1928.格伦兹理论逻辑。施普林格柏林。“}，{”key“：”e_1_1_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/s10817-007-9079-9”}，“{”key“：“e_2_1_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/978-3-540-30227-8_32“}”，{，“作者”：“Khachiyan L.G.”，“年份”：“1979”，“非结构化“：”L.G.Khachiyan。1979 . 线性规划中的多项式算法。苏联数学Doklady 20（1979），191-194。L.G.哈奇扬。1979年。线性规划中的多项式算法。苏维埃数学Doklady 20（1979），191--194.“，“journal-title”：“苏维埃数学家Doklady}，{“key”：“e_1_1_21_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/11538363_22”}，“key“：”e_1_i_1_22_22_1“，”doi-assert-by“：”publisher“，：“Marc Bezem（Ed.）”，“卷”：“12”，“作者”：“Kiero\u0144ski E.”，“年份”：“2011年”，“非结构化”：“E.Kiero\ u0144ski。2011 . 多线性阶二元逻辑的可判定性问题。在CSL（LIPIcs）中，Marc Bezem（编辑），第12卷。Dagstuhl-Leibniz-Zentrum fuer Informatik宫，337--351。E.基罗\u0144ski。2011.具有多个线性订单的二变量逻辑的可决定性问题。在CSL（LIPIcs）中，Marc Bezem（编辑），第12卷。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，337--351.“}，{”key“：”e_1_1_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1137\/120900095”}，“key”：“e_1_cu1_25_1”，“doi-assert-by”：“publisher”，”doi“：”10.2178\/jsl\/1344862160“}”，{“key“:”e_2_1_26_1“”，“首页”：“999”，“article-ti”tle“：”二变量保护碎片中的等价闭包“，”卷“：”27“，”作者“：”Kiero\u0144ski E.“，”年份“：”2017“，”非结构化“：”E.Kiero\ u0144ski、I.Pratt-Hartmann和L.Tendra。2017 . 二变量保护碎片中的等效闭合。《逻辑与计算杂志》27，4（2017），999--1021。E.Kiero\u0144ski、I.Pratt Hartmann和L.Tendera。2017.双变量保护碎片的等效闭合。《逻辑与计算杂志》27，4（2017），999--1021.“，”Journal-title“：”Journal of Logic and Computation“}，{”key“：”e_1_2_1_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3174805”}“，{“key”：“e_2_2_28_1”，“doi-assert-by”：“publisher”，”doi“：”10.1137\/130943625“}”，{“，”doi“：”10.1002\/malq.19630090502“}，{“key”：“e_1_2_1_30_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1137\/0206033“}、{“密钥”：“e_1_2_1_31_1”，”doi-assert-by“：”publisher“，”doi:“10.1016\/0022-0000（80）90027-6”}，“key“：3029“}，{”键“：”e_1_2_1_33_1“，”doi-asserted-by“：”出版商“，”doi“：”10.1002 \/malq.19750210118“}，{“key”：“e_1_2_1_34_1”，“doi-asserted-by”：“publisher”，”doi“：“10.2307 \/2695037”}，“{”key“：”e_1_i_1_35_1“，”volume-title“：“第十二届IEEE计算机科学中的逻辑研讨会论文集。IEEE在线出版物，318-327”，“author”：“Pacholski L”，“unstructured”：“L.Pachols基，W.Szwast，and L.Tendra。1997。带计数的二元逻辑的复杂性。第12届IEEE计算机科学逻辑研讨会论文集。IEEE在线出版物，318--327。L.Pacholski、W.Szwast和L.Tendra。1997.带计数的二元逻辑的复杂性。第12届IEEE计算机科学逻辑研讨会论文集。IEEE在线出版物，318--327.“}，{”key“：”e_1_1_36_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1137\/S0097539797923005”}，“key”：“e_2_1_37_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/s10849-005-5791-1“}”，{\/logcom\/exl034“}，{“key”：“e_1_2_1_39_1”，“volume-title”：“2010年7月6日至9日在巴西巴西利亚举行的2010年WoLLIC第17届国际研讨会。诉讼程序。42-54“，“作者”：“Pratt-Hartmann I.”，“年份”：“2010年”，“非结构化”：“I.Pratt-Hartmann。2010 . 带计数的双变量片段重温。《逻辑、语言、信息和计算》，第17届国际研讨会，2010年7月6日至9日，巴西巴西利亚。诉讼程序。42--54 . I.普拉特·哈特曼。2010年，带计数的双变量片段重温。《逻辑、语言、信息和计算》，第17届国际研讨会，2010年7月6日至9日，巴西巴西利亚。诉讼程序。42-54.“}，{”key“：”e_1_2_1_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1002\/malq.20140102”}，“key”：“e_1_I_1_41_1”，“volume-title”：“具有一个传递关系的一阶逻辑是可决定的。CoRR abs\/1707.05558”，“author”：“Pratt-Hartmann I.”，”year“：”2017“，”unstructured“：”I.Pratt-Hartmann.2017。具有一个传递关系的二元一阶逻辑的有限可满足性问题是可判定的。CoRR腹肌\/1707.05558（2017）。（《数学逻辑季刊》即将出版）。I.普拉特·哈特曼。2017.具有一个传递关系的二变量一阶逻辑的有限可满足性问题是可判定的。CoRR abs \/1707.05558（2017）。（《数学逻辑季刊》即将出版）。“}，{”key“：”e_1_1_42_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1112\/plms\/s2-301.264”}，“key”：“e_2_1_43_1”，“首页”：“477”，“文章标题”：“两个变量中句子有效性的判定方法”，“卷”：“27”，“作者”：“Scott D.”，“年份”：“1962”，“非结构化”：“D.”。斯科特。1962 . 两个变量中句子有效性的判定方法。《符号逻辑杂志》27（1962），477。D.斯科特。1962.双变量句子有效性的判定方法。《符号逻辑杂志》27（1962），477.“，”Journal-title“：”Journal Symbolic Logic“}，”{“key”：“e_1_2_1_44_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.apal.2004.01.003“}”，{“key”：”e_1_i_1_45_1“，“volume-title”：“第30届计算机科学理论方面国际研讨会，STACS 2013”，”author“：”Szwast W.“，”year“：”2013“，”unstructured“：”W。Szwast和L.Tendra。2013年，具有一个传递关系的FO2是可判定的。2013年2月27日至3月2日，在德国基尔举行的第30届计算机科学理论方面国际研讨会上。317--328. W.Szwast和L.Tendra。2013年，具有一个传递关系的FO2是可判定的。2013年2月27日至3月2日在德国基尔举行的第30届计算机科学理论方面国际研讨会，STACS 2013。317--328.“}，{”key“：”e_1_2_1_46_1“，”unstructured“：”W.Szwast和L.Tendra，2018年。关于具有一个传递关系的二元逻辑片断的可满足性问题。(2018). https:\/\/arxiv.org\/abs\/1804.09447已提交。W.Szwast和L.Tendra。2018.关于具有一个传递关系的二元逻辑片段的可满足性问题。(2018). https:\/\/arxiv.org\/abs\/1804.09447已提交。“}，{”key“：”e_1_1_47_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1093\/logcom\/11.1.85”}，“key”：“e_2_1_48_1”，“首页”：“596”，“文章标题”：“有限模型决策问题的算法不可能”，“卷”：“70”，“作者”：“Trakhtenbrot B.”，“年份”：“1950”，”非结构化“B。特拉赫滕布罗特。1950 . 有限模型决策问题算法的不可能性。多克。阿卡德。诺克SSSR 70（1950），596-572。英语翻译：AMS Transl。序列号。2，第23卷（1963年），1-6。B.特拉赫滕布罗特。1950.有限模型决策问题的算法不可能。多克。阿卡德。瑙克SSSR 70（1950），596-572。英语翻译：AMS Transl。序列号。2，第23卷（1963年），1-6。”，“新闻标题”：“Dokl。阿卡德。Nauk SSSR“}，{”key“：”e_1_2_1_49_1“，”volume-title“：”Proceedings of the London mathematical society 42“，”author“：”Turing A.M“，”year“：”1936“，”unstructured“：”A.M Turing.1936.On computable numbers，with an application to the Entscheidungsproblem.Proceedings.of the Lond matical social 42，2（1936），230--265.关于可计算数字，以及对Entscheidongs问题的应用。A.M Turing，1936年。关于可计算的数字，以及Entscheidungsproblem的应用程序。《伦敦数学学会学报》42，2（1936），230--265.“}，{”key“：”e_1_2_1_50_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2933575.2933594”}]，”container-title“：[”ACM SIGLOG News“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\//dl.ACM.org\/doi\/pdf\/10.1145\/3242953.2458“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,12,31]]，”date-time“：”2022-12-31T18:48:38Z“，”timestamp“：1672512518000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3242953.3242958”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2018,7,26]]}，“references-count“：49，”journal-issue“：{”issue“：“3”，“published-print”：{“date-parts”：[[2018,7,26]]}}，“alternative-id”：[“10.1145\/3242953.242958”]，“URL”：“http://\/dx.doi.org\/10.1145\/324953.3242958”，“relationship”：{}，”ISSN“：[”2372-3491“]，”ISSN-type“：[{”value“2372-349”，“”键入“：”电子“}]，“主题”：[]，“发布”：{“日期部分”：[[2018,7,26]]}，“断言“：[{”value“：“2018-07-26”，“order”：2，“name”：“published”，“label”：“published”，“group”：{”name“：”publication_history“，”label“：”publication history“}}]}