沃尔克·韦伯 重复引用状态的分支时间逻辑。 (英语) Zbl 1193.03034号 J.逻辑语言信息。 18,第4期,593-624(2009)。MSC公司:03B44号 03B62号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Weber},J.Logic Lang.Inf.18,第4期,593--624(2009;Zbl 1193.03034) 全文: 内政部
托马斯·奥戈特内斯;德克·沃尔特 有限记忆下的战略能力逻辑。 (英语) 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) 全文: 内政部
米查·瓦利基;马克·贝泽姆;沃伊特克省Szajnkenig 发展有限推理。 (英语) 兹比尔1163.68038 J.逻辑语言信息。 18,第1期,97-129(2009)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}等人,《逻辑语言期刊》第18期,第1期,第97-129页(2009年;兹bl 1163.68038) 全文: 内政部