×
Ernst-Erich Doberkat

使用coalgebras和Giry monad解释游戏逻辑–教程。 （英语） 兹比尔1403.68139

前面。计算。科学。 11，第6号，948-970（2017）.
总结：帕里赫博弈逻辑的随机解释不应遵循克里普克模型的通常模式，克里普克模式又基于Giry monad的克莱斯利态射，相反，需要一种特定且更通用的概率不确定性方法。我们概述了这种方法及其概率和测度理论基础，从容地介绍了Giry monad及其Kleisli形态，以及操纵它们的重要技术。给出了建立具体技术的证据，并提供了对现存文献的参考。
读完本教程后，读者应该会发现更容易理解本领域和相关领域的原始文献，并且有可能理解马尔可夫转移系统和随机有效性函数领域原始工作的度量理论论证。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑
03G30型 分类逻辑，拓扑
18个C20 单体的Eilenberg-Moore和Kleisli构造
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

余代数;模态逻辑;单子;吉里·莫纳德;上闭单子;单子的组成;游戏逻辑
PDF格式BibTeX公司 XML格式引用
\textit{E.-E.Doberkat}，前面。计算。科学。11，第6号，948--970（2017；Zbl 1403.68139）
全文： 内政部 arXiv公司

参考文献：

[1] Rutten J J M M。通用余代数：系统理论。理论计算机科学，2000，249（1）：3-80·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[2] Venema Y.6代数和余代数。逻辑与实践推理研究，2007，3:331-426·doi:10.1016/S1570-2464（07）80009-7
[3] 雅各布斯B。余代数导论：走向状态和观测的数学。剑桥：剑桥大学出版社，2016
[4] Doberkat E.计算机科学数学专题：集合、类别、拓扑、度量。施普林格，2015·Zbl 1334.68002号 ·数字对象标识代码：10.1007/978-3-319-22750-4
[5] Doberkat E E.随机有效性函数的代数性质。程序设计中的逻辑和代数方法杂志，2014，83（3）：339-358·Zbl 1434.68336号 ·doi:10.1016/j.jlamp.2014.03.002
[6] Doberkat E.游戏逻辑的随机解释。2016年，arXiv:1403.7765·兹比尔1471.03045
[7] 轩尼诗，M。；Milner，R.，《关于观察不确定性和并发性》，299-309（1980）·兹比尔0441.68018 ·doi:10.1007/3-540-10003-2.79
[8] Doberkat E.关于博弈逻辑的联合逻辑解释的注释。Rend.istit.mat.univ.trieste，2010，42:191-203·兹比尔1244.03064
[9] Doberkat E.随机协代数逻辑。柏林：Springer-Verlag，2009·Zbl 1179.03023号 ·doi:10.1007/978-3-642-02995-0
[10] Srivastava S M.关于Borel集的课程（数学研究生课本）。纽约：Springer-Verlag，1998·Zbl 0903.28001号 ·doi:10.1007/978-3-642-85473-6
[11] Terraf P S.互模拟逻辑特征的不可验证性。信息与计算，2011，209（7）：1048-1056·Zbl 1216.68196号 ·doi:10.1016/j.ic.2011.02.003
[12] Desharnais J，Edalat A，Panangaden P.标记马尔可夫过程的相互模拟。信息与计算，2002，179（2）：163-193·Zbl 1096.68103号 ·doi:10.1006/inco.2001.2962
[13] Edalat A.马尔可夫过程类别中的半回推和互模拟。计算机科学中的数学结构，1999，9（5）：523-543·Zbl 0937.18005号 ·doi:10.1017/S0960129599002819
[14] 解析空间上随机关系的Doberkat E E.半推式。计算机科学中的数学结构，2005，15（4）：647-670·Zbl 1073.18003号 ·doi:10.1017/S096012950500472X
[15] Doberkat，E.E.，随机关系类别中的半回拉和互模拟，996-1007（2003）·邮编：1041.18006 ·doi:10.1007/3-540-45061-077
[16] 游戏的逻辑及其应用。北韩数学研究，1985，102:111-139·Zbl 0552.90110号 ·doi:10.1016/S0304-0208（08）73078-0
[17] Pauly M，Parikh R.游戏逻辑——概述。Studia Logica，2003，75（2）：165-182·Zbl 1040.03013号 ·doi:10.1023/A:1027354826364
[18] Van Benthem J.Logic游戏完全适用于游戏逻辑。Studia Logica，2003，75（2）：183-203·Zbl 1040.03015号 ·doi:10.1023/A:1027306910434
[19] Pauly，M.，《博弈理论家的博弈逻辑》（2000）
[20] 可测空间上余代数的Goldblatt R.演绎系统。逻辑与计算杂志，2010，20（5）：1069-1100·Zbl 1220.03054号 ·doi:10.1093/log/exn092
[21] Moss L.S.Coalgebraic逻辑。纯粹逻辑与应用逻辑年鉴，1999，96（1）：277-317·Zbl 0969.03026号 ·doi:10.1016/S0168-0072（98）00042-6
[22] Schröder L.联合模态逻辑的表达性：极限和超越。理论计算机科学，2008390（2）：230-247·Zbl 1132.03008号 ·doi:10.1016/j.tcs.2007.09.023
[23] D'argenio P R，Terraf P S，Wolovick N.非确定性标记Markov过程的双模拟。计算机科学中的数学结构，2012，22（1）：43-68·Zbl 1234.68316号 ·doi:10.1017/S0960129511000454
[24] Doberkat，E.E。；Terraf，P.S.，《随机非确定性和有效性函数》（2015）
[25] 杰赫·T·集理论。第三版，柏林：Springer-Verlag，2006·Zbl 1007.03002号
[26] Halmos P R.测量理论（数学研究生课程）。Springer科学与商业媒体，2007年
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。