范·艾伊克（Jan van Eijck）（编辑）;韦布鲁克（Rineke Verbrugge）（编辑） 关于社交软件的讨论。 （英语） Zbl 1239.91005号 逻辑与游戏中的文本5.阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-123-6/pbk；978-90-4851-041-2）。248页。(2009).MSC公司：91-06 91B14号机组 91A80型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}（编辑）和\textit{R.Verbrugge}（主编），社交软件讨论。阿姆斯特丹：阿姆斯特丹大学出版社（2009；Zbl 1239.91005）
贾科莫·博纳诺（编辑）;范德霍克，威比（编辑）;迈克尔·伍尔德里奇（编辑） 博弈和决策理论的逻辑和基础（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。 （英语） Zbl 1237.03004号 逻辑和游戏中的文本3.阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-026-0/pbk）。240页。（2008年）。MSC公司：2006年3月 03年05月 03B42号 03B80号 91A35型 91B06型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonanno}（编辑）等人，《逻辑与博弈与决策理论基础》（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹：阿姆斯特丹大学出版社（2008；Zbl 1237.03004）
弗鲁姆，约格（编辑）;埃里希·格拉德尔（编辑）;托马斯·威尔克（编辑） 逻辑和自动机。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。 （英语） 兹比尔1198.03006 逻辑和游戏中的文本2.阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。第736页。（2008年）。MSC公司：03-06 03B25号 05年3月 68-06 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Flum｝（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（2008；Zbl 1198.03006）
约翰·范·本特姆（编辑）;Dov Gabbay公司（编辑）;Löwe，Benedikt公司（编辑） 交互式逻辑。2005年11月4日至7日，英国伦敦国王学院第七届Augustus De Morgan互动逻辑：游戏和社交软件研讨会论文集。 （英语） Zbl 1178.03003号 逻辑和游戏中的文本1.阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-356-4/pbk）。第362页。(2007).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}（编辑）等人，《交互逻辑》。2005年11月4-7日，英国伦敦国王学院第七届Augustus De Morgan互动逻辑：游戏和社交软件研讨会论文集。阿姆斯特丹：阿姆斯特丹大学出版社（2007；Zbl 1178.03003）