弗兰克·沃尔特;迈克尔·伍尔德里奇 时间和动态逻辑。 (英语) Zbl 1273.03066号 阿弥陀佛古普塔等,《今日逻辑与哲学》。第1卷。伦敦:学院出版物(ISBN 978-1-84890-040-0/pbk)。逻辑研究(伦敦)29247-280(2011)。MSC公司:03B44号 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Wooldridge},Stud.Log。(伦敦)29,247--280(2011;Zbl 1273.03066)
德克·沃尔特;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·伍尔德里奇 ATL可满足性确实是ExpTime-complete。 (英语) Zbl 1118.03010号 J.日志。计算。 16,第6期,765-787(2006).MSC公司:03B44号 2017年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Walther}等人,J.Log。计算。16,第6号,765--787(2006;Zbl 1118.03010) 全文: DOI程序 链接