{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,29]]，“日期-时间”：“2024-06-29T06:33:50Z”，“时间戳”：1719642830635}，“参考-计数”：22，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“8”，“许可证”：[{“开始”：}“日期-零件”：[[2016,6,20]]，我”：“2016-06-29T00:00:00Z”，“时间戳”用法：1467158400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,12]]}在本文中，我们描述了一系列事件上带有量词的概率逻辑<\/jats:italic>，并开发用于证明计算复杂性结果的主要技术（根据m<\/jats:italic>-度）。此外，本文还与其他一些概率逻辑进行了比较，并讨论了有趣的类比与布尔代数元数学研究，展示了本建议的一些吸引人的特点和直观优势<\/jats:p>“，”DOI“：”10.1017\/s0960129516000189“，”type“：”journal-article“，”created“：{”date-parts“：[[2016,6,29]]，”date-time“：”2016-06-29T06:47:32Z“，”timestamp“：1467182852000}“，”page“：“1581-1600”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“概率逻辑中事件的量化：简介”]，“前缀”：“10.1017”，“卷“：”27“，”author“：[{”given“：”STANISLAV O.“，”family“：”SPERANSKI“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2016,6,29]]}，”reference“：[[{“key”：“S0960129516000189_ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01459101”}，{“密钥”：“SO960129516000189 _ref”f14“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511581007“}，{“key”：“S0960129516000189_ref3”，“volume-title”：“概率与测度”，“author”：“Billingsley”，“year”：“1995”}，}“key:”S09601290516000189 _ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s00153-013-0328-9“}”，{”key“：”S0901295160001 89_ref9“，”doi-asserte-by“：”publisher“，”doi“：”10.1016\/j.apal.2013.06.015“}，{”key“：”S0960129516000189_ref4“，”doi asserted by“：”publisher“，”doi“：”10.1007\/978-3-642-592007-2“｝，｛”key“：”S0960129516000189_ref11“，”doi asserted by“：”publisher“，”doi“：”10.1007\/BF01090967“｝，｛”key“：”S0960129516000189_ref8“，”首页“：”1“，”卷标题“：”布尔代数手册“，”作者“：”Koppelberg“，”年份“：”1989“｝，”key“：”“S0960129516000189_ref13”，“volume-title“：”递归函数理论和有效计算能力“，”author“：”Rogers“，”year“：”1967“}，{”key“：”S0960129516000189_ref20“，”first page“：“267”，”volume-title“：”Conference Proceedings Vol.60，Waves，Information and Foundations of Physics“，“author”：“Suppes”，“year”：“1998”}，“key”：“S0901295160000189_ref7”，“first pages”：“509”，“volume-title“：”Model-Theoretic Logics“，”author“：”Keisler“，”year“：”1985“}，{”key“：”S0960129516000189_ref17“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/logcom\/exs041“}”，{“key”：“S0901295160000189_ref5”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0890-5401（90）90060-U”}，“key“：”S0960129516000189_ref16“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/s10469-011-9148-3“}，{“key”：“S0960129516000189_ref10”，“volume-title”：“牛津概率与哲学手册”，“author”：“Leitgeb”，“year”：“2016”}，}“key:”S09K1295160000189_ref6“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0003-4843（78 ted-by“：”publisher“，”doi“：”10.1007\/s10469-013-9230-0“}，{“key”：“S0960129516000189_ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1994.1049”}，}“keys”：“SO960129516000189 _ref15”，“doi-asserted-by”:“publishers”，“DI:”10.1016\/j.apal.2012.04.003“}”，{publisher“，”doi“：”10.1093\/logcom\/exi032“}，{”key“：”S0960129516000189_ref21“，”doi-asserted-by“：”crossref“，”volume-title“：”初等代数和几何的决策方法“，”author“：”Tarski“，”year“：”1951“，”doi“：”10.1525\/9780520348097“}，{”key“：”S0901295160000189_ref12“，”first page“：，“container-title“：[“计算机科学中的数学结构”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129516000189”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2022,7,2]，”date-time“：”2022-07-02T09:50:58Z“，”timestamp“：1656755458000}，”score“：1，”resource“：{”primary“：”URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier \/S0960129516000189\/type\/journal_article“}}，“substitle”：[]，“shortitle”：[]，“issued”：{“date-part”：[[2016,6,29]]}，“references-count”：22，“journal-issue”：{“issue”：“8”，“published-print“：{“date-parts”：[[2017,12]]}}，“alternative-id”：[“S0960129516000189”]，“URL”：“http://\/dx.doi.org\/101017\/s096012956000189”，“relationship”：{}，”ISSN“：[“0960-1295”，“1469-8072”]，”ISSN-type“：[{”value“：”0960-129.5“，”type“print”}，{“value”：“1469-9072”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2016,6,29]]}}