{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article9267”，“name”：“概率Mu-Calculus:判定性和完全公理化”，“abstract”：“我们引入概率Mu-Calculus（PMC）的一个版本建立在概率模态逻辑之上，允许对转移概率的n元不等式条件进行编码。PMC扩展了先前研究的计算，我们证明，尽管它具有表达性，但它仍具有一系列良好的元属性。首先，我们通过建立小模型属性来证明可满足性检查的可判定性。提出了一种判定可满足性问题的算法。作为第二个主要结果，我们为PMC的无交替片段提供了一个完整的公理化。完整性证明在许多方面具有创新性，它结合了拓扑学和模型理论中的各种技术。“，”关键词“：[”马尔可夫过程“，”概率模态mu-calculus“，”n元（in-）方程模态“，”可满足性“，”公理化“]，”作者“：[{”@type“：”Person“，”name“：”Larsen，Kim G.“，”givenName“：”Kim G“，”familyName“：键入“：”个人“，”姓名“：”薛冰天，“givenName”：“冰天”，“家族名称”：“薛”}]，“位置”：25，“pageStart”：“25:1”，“pageEnd”：“25.18”，“创建日期”：“2016-12-10”，“发布日期”：”2016-12-110“，“isAccessibleForFree”：true，“许可证”：“https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode”，“版权持有人”：[{“@type”：”Person“，“name”：“Larsen，Kim G.”，“givenName”：“Kim G.”，“familyName“：”Larsen“}，{”@type“：”Person“，”name“：”Mardare，Radu“，”givenName“：“Radu”，”familyName:“Mardare”}，}“@type”：“Person”，“name”：“薛冰甜”，“givenName”：“冰甜”语言“：”en-US“，”sameAs“：”https:\/\/doi.org\/10.4230\/LIPIcs。FSTTCS.2016.25“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”http://\/dx.doi.org\/10.4230\/LIPIcs.CSL.2012.92“，”http://\/dx.doi..org\/10.109\/LICS.1996.561358“，”http:\\/dx.doi.org\/10.1109\/LICS.2008.21“，”http://www.\/dx.doci.org\/10.4230\/LIPIcs.STACS.2015.211“，”http://\/dx.doi.org\/10.1007\/978-3642-04027-6_15“，”http://\/dx.doi.org\/10.1016\/j.tcs.2005.03.048“，”http:\\/dx.doi.org\/10.007\/3-540-56496-9_32“，”http://www.dx.doi.org\/10.10007\/BF01383878“，”\\/dx.doi.org\/10.1007\/s11225-012-9374-2“，”http://\/dx.doi.org\/10.10007\/BF01211866“，”http://\/dx.doi.org\/10.1016\/S0019-9958（86）80001-8“，”http://\/dx.doi.org\/10.1007\/BFb0012782“，”http:\\//dx.doi.org\/10.1009\/LICS.2013.38“，“http://\\/dx.doi.org\/10.016\/j.entcs.2015.12.018”，“http://\/dx-doi.org/10.1016\/0304-3975（90）900 38-j“，“http://\\/dx.doi.org\/10.1016\/0890-5401（91）90030-6”，“http://\/dx.doi.org\/10.1007\/BFb0084809”，“http://\/dx.doi.org\/10.1016\/S0019-9958（82）91022-1“，”http://\/dx.doi.org\/10.1007\/978-3662-4766-6_29“，”http:\\/dx.doi.org\/10.2168\/LMCS-8（4:18）2012“，”http://www.dx.doi..org\/10.4204\/EPTCS.126.7“，“，”http://\/dx.doi.org\/10.1016\/0890-5401（89）90031-X“，”http:\\/dx.doi.org\/10.1006\/inco.1999.2836“，”http:\/\/dx.doi.org\/10.1093\/logcom\/exp031“]，“isPartOf”：{“@type”：“PublicationVolume”，“@id”：“#volume6268”，“volumeNumber”：65，“name”：“第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）”，“创建日期”：“2016-12-10”，“发布日期”：Lal，Akash，“givenName”：“Akash”，“familyName”：“，”givenName“：”Sandeep“，”familyName“：“Sen”}]，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：”#article9267“，”isPartOf“：{”@type“：“期刊”，”@id“：”#series116“，”name“：”Leibniz International Proceedings in Informatics“，”issn“：”1868-8969“，”is AccessibleForFree“：true，”publisher“：}}