达米安·尼文斯基 \（mu）-游戏演算（扩展抽象）。 （英语） Zbl 1020.03510号 朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 27-43 (2002). 小结：在这项调查中，我想展示微积分和游戏之间的一些联系，更具体地说，是在标记图上玩的可能无限持续时间的游戏。通过以下方式建立了基本联系E.A.爱默生,C.S.朱特拉和A.P.西斯特拉【Theor.Comput.Sci.258，491-522（2001；Zbl 0973.68120号)]随后由几位作者开发。从本质上讲，结果是，任何（mu）-演算公式都表示了某个博弈中策略的存在性。这种对应关系的思想可以追溯到比奇和麦克诺顿，他们观察到一元二阶算术的类似性质。有关整个系列，请参见[Zbl 1001.00046号]. MSC公司： 03B70号 计算机科学中的逻辑 03B45号 模态逻辑（包括规范逻辑） 91A43型 涉及图形的游戏 引文：Zbl 0973.68120号 PDF格式BibTeX公司 XML格式引用 \textit{D.尼温滑雪}，莱克特。注释计算。科学。2471、27-43（2002年；Zbl 1020.03510） 全文： 链接