安蒂·库西斯托;雷恩·Rönnholm 以最佳方式玩最难重复的两层协调游戏。 （英语） 兹比尔1530.91055 离散应用程序。数学。 339, 36-52 (2023).MSC公司：91A20型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kuusisto}和\textit{R.Rönnholm}，离散应用程序。数学。339、36-52（2023年；Zbl 1530.91055） 全文： 内政部 arXiv公司
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加维罗 交替（in）依赖友好逻辑。 （英语） Zbl 07741119号 Ann.纯粹应用。逻辑 174，第10号，文章ID 103315，58 p.（2023）.MSC公司：03B60号 03B70号 03C80号 03C90号 68T27型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bellier｝等人，Ann.纯应用。逻辑174，第10号，文章ID 103315，58页（2023；Zbl 07741119） 全文： 内政部 arXiv公司
迪米特·多布雷夫 描述世界的语言。二： 样本世界。 （英语） Zbl 1529.68247号 Serdica J.计算。 17，第1号，17-54（2023年）.MSC公司：68T01型 68周01 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dobrev}，Serdica J.计算。17，编号1，17-54（2023；Zbl 1529.68247） 全文： 内政部
你好，劳里;安蒂·库西斯托;雷恩·Rönnholm 模态mu-calculus和一些变体的有界游戏理论语义。 （英语） Zbl 07455742号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32682-96（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Hella｝等人，电子。程序。西奥。计算。科学。（EPTCS）326、82--96（2020；Zbl 07455742） 全文： arXiv公司 链接
彼得罗·加利亚尼 强一阶依赖的特征：非跳跃相对化情况。 （英语） Zbl 07453077号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）30566-82（2019年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼}，电子。程序。西奥。计算。科学。（EPTCS）305、66--82（2019；Zbl 07453077） 全文： arXiv公司 链接
彼得罗·加利亚尼 不完美信息的动态逻辑：从团队和游戏到过渡。 （英语） 兹比尔1437.03062 van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 299-315 (2018).MSC公司：03B42号 03B52号 91年4月 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼}，Outst。控制日志。1299-315（2018年；兹比尔1437.03062） 全文： 内政部 arXiv公司