Nguyen、Hoang Nga;阿卜杜尔·拉基布 概率资源受限代理的形式化建模和验证。 (英语) 兹标07800199 J.逻辑语言信息。 32,第5号,829-859(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}和\textit{A.Rakib},J.Logic Lang.Inf.32,No.5,829--859(2023;Zbl 07800199) 全文: DOI程序 OA许可证
托马斯·奥戈特内斯;德克·沃尔特 有限记忆下的战略能力逻辑。 (英语) Zbl 1163.68037号 J.逻辑语言信息。 18,第1期,55-77(2009).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特斯}和\textit{D.Walther},J.Logic Lang.Inf.18,No.1,55--77(2009;Zbl 1163.68037) 全文: DOI程序