Ernst-Erich Doberkat 随机有效性函数的代数性质。 （英语） Zbl 1434.68336号 J.日志。阿尔盖布。方法计划。 83，编号3-4，339-358（2014）. 摘要：有效性函数是研究语义游戏逻辑的基本形式主义。讨论了随机有效性函数的代数性质，特别是与随机关系的关系，定义了形态和同余，并研究了抽象逻辑等价与行为等价的关系。 引用于三文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}，J.Log（简写：E.-E.Domberkat）。阿尔盖布。方法计划。83，编号3--4，339--358（2014；Zbl 1434.68336） 全文： 内政部 arXiv公司 链接 参考文献： [1] Abdou，J。；Keiting，H.，《社会选择、理论和决策图书馆中的有效功能》（1991年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0925.90016号 [2] 布莱克本，P。；de Rijke，M。；Venema，Y.，《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0988.03006号 [3] Bogachev，V.I.，《测量理论》（2007），Springer-Verlag·邮编1120.28001 [4] Chellas，B.F.，模态逻辑（1989），剑桥大学出版社：剑桥大学出版社，英国剑桥 [5] D’Argenio，P.R。；Sánchez Terraf，P。；Wolovick，N.，非确定性标记马尔可夫过程的互模拟，数学。结构。计算。科学。，22、1、43-68（2012年2月）·Zbl 1234.68316号 [6] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的双向模拟，Inf.Compute。，179, 2, 163-193 (2002) ·Zbl 1096.68103号 [7] Doberkat，E.-E.，《管道：通过关系建模软件架构》，《信息学报》。，40, 37-79 (2003) ·Zbl 1069.68544号 [8] Doberkat，E.-E.，随机关系：同余、互模拟和Hennessy-Milner定理，SIAM J.Comput。，35, 3, 590-626 (2006) ·Zbl 1095.68063号 [9] Doberkat，E.-E.，《随机关系》。《马尔可夫转移系统基础》（2007），查普曼和霍尔/CRC出版社：查普曼&霍尔/CRC出版公司，纽约博卡拉顿·Zbl 1137.60002号 [10] Doberkat，E.-E.，《随机协代数逻辑》，EATCS理论计算机科学专著（2009），Springer-Verlag:Springer-Verlag Berlin [11] Doberkat，E.-E.，游戏逻辑的随机解释（2012年12月），多特蒙德理工大学软件技术主席，技术报告193 [12] Doberkat，E.-E.，《命题动态逻辑的随机解释：表达性》，J.Symb。日志。，77, 2, 687-716 (2012) ·Zbl 1252.03074号 [13] Doberkat，E.-E.，Categories and all that-a tutorial（2014年3月），多特蒙德理工大学软件技术主席，技术报告198 [14] Doberkat，E.-E。；Schubert，Ch.，一般可测空间上的余代数逻辑-综述，数学。结构。计算。科学。，21，175-234（2011），（联合逻辑专刊）·Zbl 1235.03065号 [15] Doberkat，E.-E。；Sanchèz Terraf，P.，非确定性标记马尔可夫过程和随机有效性函数（2014年1月），多特蒙德工业大学软件技术主席，技术报告 [16] Giry，M.，概率论的分类方法，（拓扑和分析的分类方面，拓扑和分析分类方面，Lect.Notes Math.，第915卷（1981年），Springer-Verlag:Springer-Verlag Berlin），68-85·Zbl 0486.60034号 [17] Goldblatt，R.，可测空间上余代数的演绎系统，J.Log。计算。，20, 5, 1069-1100 (2010) ·Zbl 1220.03054号 [18] Hansen，H.H。；Kupke，C.，《单调模态逻辑的代数透视》，第七届计算机科学代数方法研讨会论文集（CMCS 2004）。程序。第七届计算机科学中的代数方法研讨会（CMCS 2004），ENTCS，第106卷（2004）），121-143·Zbl 1271.03029号 [19] 休伊特，E。；斯特隆伯格，K.R.，《真实与抽象分析》（1965），《斯普林格·弗拉格：斯普林格尔·弗拉格·柏林》，纽约州海德堡·Zbl 0137.03202号 [20] Himmelberg，C.J.，Measurable relations，Fundam。数学。，87, 53-72 (1975) ·Zbl 0296.28003号 [21] 雅各布斯，B，《驯服关系的匕首类别》，《日志》。大学。，7, 341-370 (2013) ·Zbl 1294.68107号 [22] Jech，T.，《选择公理》，《逻辑研究与数学基础》，第75卷（1973年），北荷兰特出版公司：北荷兰德出版公司，纽约·Zbl 0259.02051号 [23] Jech，T.，《集合论》（2006），Springer-Verlag:Springer-Verlag Berlin，Heidelberg，New York [24] Kechris，A.S.，经典描述性集合理论，数学研究生教材（1994），Springer-Verlag:Springer-Verlag Berlin，Heidelberg，New York·Zbl 0805.54035号 [25] Michael，E.，子集空间上的拓扑，Trans。美国数学。Soc.，71，2152-182（1951年）·Zbl 0043.37902号 [26] Moggi，E.，《计算和单数概念》，Inf.Compute。，93, 55-92 (1991) ·Zbl 0723.68073号 [27] Moulin，H.，《社会选择战略》，《经济学高级教科书》，第18卷（1983年），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹，纽约，牛津·Zbl 0543.90002号 [28] Panangaden，P.，《标记马尔可夫过程》（2009），世界科学出版社。公司·Zbl 1190.60001号 [29] Parikh，R.，《游戏的逻辑及其应用》（Karpinski，M.；van Leeuwen，J.，《计算理论的主题》，第24卷（1985），Elsevier），111-140·Zbl 0552.90110号 [30] Pauly，M.，游戏理论家的游戏逻辑（2000），CWI:CWI阿姆斯特丹，技术报告INS-R0017 [31] 保利，M。；Parikh，R.，《游戏逻辑——概述》，Stud.Log。，75, 165-182 (2003) ·Zbl 1040.03013号 [32] 范德霍克，W。；Pauly，M.，《游戏和信息的模态逻辑》（Blackburn，P.；van Benthem，J.；Wolter，F.，《逻辑和实践推理研究》，《模态逻辑手册》，第3卷（2007年），Elsevier:Elsevier Amsterdam），1077-1148·Zbl 1114.03001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。