帕特里克·布莱克本（编辑）；约翰·范·本特姆（编辑）；弗兰克·沃尔特（编辑） 模态逻辑手册。 （英语） Zbl 1114.03001号 逻辑与实践推理研究3.阿姆斯特丹：爱思唯尔（ISBN 978-0-444-51690-9/hbk）。二十三、1231页。(2007). 本卷的文章不会单独编入索引。出版商描述：该手册共有20篇文章，集中介绍了当代模态逻辑，综述了当前的研究，并指出了该领域的发展方向。文章从多种角度对该领域进行了调查：深入探讨了基本理论，处理了现代计算方法，并调查了模态逻辑的六个主要应用领域（数学、计算机科学、人工智能、语言学、博弈论和哲学）。这本书既有写作精良的解释性文章，适合初学者第一次接触这门学科，也有高级文章，这将帮助那些已经熟悉该领域的人深化他们的专业知识。请访问：http://people.uleth.ca网站/~woods/RedSeriesPromo_WP/PubSLPR.html.内容：前言（P.Blackburn、J.van Benthem和F.Wolter）。第1部分。基本理论：“模态逻辑：语义视角”（J.van Benthem和P.Blackburn）；“模态证明理论”（M.Fitting）；“模态逻辑的复杂性”（马克思）；“计算模态逻辑”（I.Horrocks，U.Hustadt，U.Sattler和R.Schmidt）。第2部分。高级理论：“模态逻辑的模型理论”（V.Goranko和M.Otto）；《代数与共代数》（Y.Venema）；“模态决策问题”（F.Wolter和M.Zakharyaschev）；“模态后果关系”（M.Kracht）。第3部分。变化和扩展：“一阶模态逻辑”（T.Braüner和S.Ghilardi）；“高阶模态逻辑”（R.Muskens）；“时间逻辑”（I.霍德金森和M.雷诺兹）；“模态微积分”（J.Bradfield和C.Stirling）；“描述逻辑”（F.Baader和C.Lutz）；“混合逻辑”（C.Areces和B.ten Cate）；“组合模态逻辑”（A.Kurucz）。第4部分。应用：“数学中的模态逻辑”（S.Artemov）；时间推理的自动机理论技术”（M.Vardi）；“智能代理和常识推理”（J.-J.Meyer和F.Veltman）；“模态逻辑在语言学中的应用”（L.Moss和H.J.Tiede）；“游戏和信息的模态逻辑”（W.van der Hoek和M.Pauly）；模态逻辑与哲学（S.Lindström和K.Segerberg）。索引。 引用于2评论引用于189文件 MSC公司： 03月00日 与数学逻辑和基础有关的一般参考书（手册、词典、书目等） 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}（ed.）等人，《模态逻辑手册》。阿姆斯特丹：爱思唯尔（2007；Zbl 1114.03001）